diff options
author | Stefan Hajnoczi <stefanha@redhat.com> | 2015-11-02 14:06:23 +0000 |
---|---|---|
committer | Peter Maydell <peter.maydell@linaro.org> | 2015-11-06 11:07:14 +0000 |
commit | 3aa88b31290c7cbbbae344efdece659194b95c70 (patch) | |
tree | 22fba2bf4c458bf54bbfa20347a7856883e8e145 /exec.c | |
parent | 574418132355bae50e829eb7890c8ea5dcb53fd8 (diff) |
configure: add missing --disable-modules option
According to ./configure all options should have both --enable-foo and
--disable-foo:
# Always add --enable-foo and --disable-foo command line args.
# Distributions want to ensure that several features are compiled in, and it
# is impossible without a --enable-foo that exits if a feature is not found.
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Reviewed-by: Fam Zheng <famz@redhat.com>
Message-id: 1446473183-24250-1-git-send-email-stefanha@redhat.com
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'exec.c')
0 files changed, 0 insertions, 0 deletions