diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build/config | 39 |
1 files changed, 2 insertions, 37 deletions
diff --git a/scripts/build/config b/scripts/build/config index 7f19aaeb2..426838f9f 100755 --- a/scripts/build/config +++ b/scripts/build/config @@ -256,8 +256,8 @@ Local_arguments () # General options - --breakpoints) - _BREAKPOINTS="true" + --breakpoints|--debug|--force|-h|--help|--quiet|-u|--usage|--verbose|-v|--version) + Handle_common_option "${1}" shift ;; @@ -266,46 +266,11 @@ Local_arguments () shift ;; - --debug) - _DEBUG="true" - shift - ;; - - --force) - _FORCE="true" - shift - ;; - - -h|--help) - Man - shift - ;; - --no-color) _COLOR="false" shift ;; - --quiet) - _QUIET="true" - shift - ;; - - -u|--usage) - Usage --exit - shift - ;; - - --verbose) - _VERBOSE="true" - shift - ;; - - -v|--version) - echo "${VERSION}" - exit 0 - ;; - # Build config options --apt) |