diff options
-rwxr-xr-x | configure | 12 |
1 files changed, 8 insertions, 4 deletions
@@ -1967,13 +1967,17 @@ do_random(){ for opt do optval="${opt#*=}" case "$opt" in - --extra-ldflags=*) add_ldflags $optval + --extra-ldflags=*) + add_ldflags $optval ;; - --extra-libs=*) add_extralibs $optval + --extra-libs=*) + add_extralibs $optval ;; - --disable-devices) disable $INDEV_LIST $OUTDEV_LIST + --disable-devices) + disable $INDEV_LIST $OUTDEV_LIST ;; - --enable-debug=*) debuglevel="$optval" + --enable-debug=*) + debuglevel="$optval" ;; --disable-programs) disable $PROGRAM_LIST |