diff options
Diffstat (limited to 'resources/scripts/build/src/for')
| -rwxr-xr-x | resources/scripts/build/src/for | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/resources/scripts/build/src/for b/resources/scripts/build/src/for index 6761f160..57459952 100755 --- a/resources/scripts/build/src/for +++ b/resources/scripts/build/src/for @@ -21,6 +21,8 @@ [ "x${DEBUG+set}" = 'xset' ] && set -v set -u -e +. "include/err.sh" + mode="" project="" @@ -61,10 +63,4 @@ main() || err "cannot clean project src, ${project}" } -err() -{ - printf "ERROR: build/src: %s\n" "${1}" 1>&2 - exit 1 -} - main $@ |