diff options
Diffstat (limited to 'scripts/build')
| -rwxr-xr-x | scripts/build/config | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/build/config b/scripts/build/config index 979f3f059..e9328d5a6 100755 --- a/scripts/build/config +++ b/scripts/build/config @@ -166,8 +166,7 @@ Local_arguments () LONG_OPTIONS="$(echo ${LONG_OPTIONS} | tr -d ' ')" ARGUMENTS="$(getopt --longoptions ${LONG_OPTIONS} --name="${PROGRAM}" --options a:d:m:k:b:s:c:huv --shell sh -- "${@}")" - if [ "${?}" != "0" ] - then + if [ $? -ne 0 ]; then Echo_error "terminating" >&2 exit 1 fi |