summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index 3f9ee47829..19334da613 100755
--- a/configure
+++ b/configure
@@ -211,9 +211,9 @@ for opt do
   ;;
   --disable-gcc-check) check_gcc="no"
   ;;
-  --disable-softmmu) softmmu="no"
+  --disable-system) softmmu="no"
   ;;
-  --enable-softmmu) softmmu="yes"
+  --enable-system) softmmu="yes"
   ;;
   --disable-user) user="no"
   ;;