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 /Makefile.objs | |
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 'Makefile.objs')
0 files changed, 0 insertions, 0 deletions