summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorAlex Bennée2021-07-09 16:29:54 +0200
committerAlex Bennée2021-07-14 16:54:13 +0200
commitd1a142572d8e3cf932647120d0a72c9942667e9c (patch)
tree1b7c98953896fd0814b2813d633d326287d117ed /configure
parenttcg/plugins: remove some stale entries from the symbol list (diff)
downloadqemu-d1a142572d8e3cf932647120d0a72c9942667e9c.tar.gz
qemu-d1a142572d8e3cf932647120d0a72c9942667e9c.tar.xz
qemu-d1a142572d8e3cf932647120d0a72c9942667e9c.zip
configure: don't allow plugins to be enabled for a non-TCG build
Signed-off-by: Alex Bennée <alex.bennee@linaro.org> Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Message-Id: <20210709143005.1554-30-alex.bennee@linaro.org>
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure6
1 files changed, 6 insertions, 0 deletions
diff --git a/configure b/configure
index 4d0a2bfdd8..e2a353ce1c 100755
--- a/configure
+++ b/configure
@@ -1110,6 +1110,7 @@ for opt do
--enable-cap-ng) cap_ng="enabled"
;;
--disable-tcg) tcg="disabled"
+ plugins="no"
;;
--enable-tcg) tcg="enabled"
;;
@@ -1575,6 +1576,11 @@ for opt do
esac
done
+# test for any invalid configuration combinations
+if test "$plugins" = "yes" -a "$tcg" = "disabled"; then
+ error_exit "Can't enable plugins on non-TCG builds"
+fi
+
case $git_submodules_action in
update|validate)
if test ! -e "$source_path/.git"; then