diff options
Diffstat (limited to 'scripts/build/config')
| -rwxr-xr-x | scripts/build/config | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/build/config b/scripts/build/config index 2bd929bc1..da8f3ce2f 100755 --- a/scripts/build/config +++ b/scripts/build/config @@ -822,6 +822,15 @@ 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 |