diff options
| -rwxr-xr-x | scripts/build/config | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/build/config b/scripts/build/config index da8f3ce2f..2bd929bc1 100755 --- a/scripts/build/config +++ b/scripts/build/config @@ -822,15 +822,6 @@ Local_arguments () ;; esac done - - # Any remaining arguments should be reported as an unexpected arguments error. - if [ $# -ne 0 ]; then - local ARG - for ARG in "${@}"; do - Echo_error "Unexpected argument found: %s" "${ARG}" - done - exit 1 - fi } # Processing args such that we have a value for --config if given |