diff options
| author | Thomas Huth <thuth@redhat.com> | 2017-06-26 07:22:56 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2017-07-04 14:39:11 +0200 |
| commit | 47507383c663b48af28e1428f782df5caad39441 (patch) | |
| tree | 68a347ebbc00e9351bf5a7b0ca77f9dda489c344 /include/exec | |
| parent | 2cd53943115be5118b5b2d4b80ee0a39c94c4f73 (diff) | |
include/exec/poison: Mark CONFIG_SOFTMMU as poisoned
CONFIG_SOFTMMU should never be used in common code, so mark
it as poisoned, too.
Reviewed-by: Richard Henderson <rth@twiddle.net>
Signed-off-by: Thomas Huth <thuth@redhat.com>
Message-Id: <1498454578-18709-6-git-send-email-thuth@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'include/exec')
| -rw-r--r-- | include/exec/poison.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/exec/poison.h b/include/exec/poison.h index 32707cd54f..41cd2eb1d8 100644 --- a/include/exec/poison.h +++ b/include/exec/poison.h @@ -87,6 +87,7 @@ #pragma GCC poison CONFIG_LINUX_USER #pragma GCC poison CONFIG_VHOST_NET #pragma GCC poison CONFIG_KVM +#pragma GCC poison CONFIG_SOFTMMU #endif #endif |