diff --git a/configure b/configure
index 42e57c0b9b56f52640654aa5909d7d3da3d2f91d..60cbd84fffbb3a2b1e840ca487c787e50b09ddeb 100755
--- a/configure
+++ b/configure
@@ -791,6 +791,9 @@ for opt do
   --enable-modules)
       modules="yes"
   ;;
+  --disable-modules)
+      modules="no"
+  ;;
   --cpu=*)
   ;;
   --target-list=*) target_list="$optarg"