diff options
-rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -791,6 +791,9 @@ for opt do --enable-modules) modules="yes" ;; + --disable-modules) + modules="no" + ;; --cpu=*) ;; --target-list=*) target_list="$optarg" |