diff options
| -rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure index 42e57c0b9b..60cbd84fff 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" |