tooling box ./utils/*: minor fix from production test

This commit is contained in:
Markus Heiser 2020-02-04 19:47:33 +01:00
parent 2f40f61f83
commit 71d7550dbe
8 changed files with 29 additions and 7 deletions

View file

@ -96,7 +96,7 @@ If needed, set PUBLIC_URL of your WEB service in the '${DOT_CONFIG#"$REPO_ROOT/"
FILTRON_TARGET : ${FILTRON_TARGET}
EOF
[ ! -z ${1+x} ] && err_msg "$1"
[ ! -z "${1+x}" ] && err_msg "$1"
}
main() {