diff options
Diffstat (limited to 'build/make')
| -rwxr-xr-x | build/make/configure.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/build/make/configure.sh b/build/make/configure.sh index 51878864a..4ffef0187 100755 --- a/build/make/configure.sh +++ b/build/make/configure.sh @@ -458,9 +458,12 @@ process_common_cmdline() { eval `echo "$opt" | sed 's/--/action=/;s/-/ option=/;s/-/_/g'` if echo "${ARCH_EXT_LIST}" | grep "^ *$option\$" >/dev/null; then [ $action = "disable" ] && RTCD_OPTIONS="${RTCD_OPTIONS}${opt} " - else - echo "${CMDLINE_SELECT}" | grep "^ *$option\$" >/dev/null || - die_unknown $opt + elif [ $action = "disable" ] && ! disabled $option ; then + echo "${CMDLINE_SELECT}" | grep "^ *$option\$" >/dev/null || + die_unknown $opt + elif [ $action = "enable" ] && ! enabled $option ; then + echo "${CMDLINE_SELECT}" | grep "^ *$option\$" >/dev/null || + die_unknown $opt fi $action $option ;; |