diff --git a/build/make/configure.sh b/build/make/configure.sh index be34778233c2f31740595c3d6ece810ad1073edb..9bff9cb224097f2eb4c4634c9ec5bb8f12346514 100755 --- a/build/make/configure.sh +++ b/build/make/configure.sh @@ -457,7 +457,8 @@ process_common_cmdline() { else echo "${CMDLINE_SELECT}" | grep "^ *$option\$" >/dev/null || die_unknown $opt - fi $action $option + fi + $action $option ;; --require-?*) eval `echo "$opt" | sed 's/--/action=/;s/-/ option=/;s/-/_/g'`