diff options
| -rwxr-xr-x | buildall.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/buildall.sh b/buildall.sh index fee6ddbb7..6849ccfc7 100755 --- a/buildall.sh +++ b/buildall.sh @@ -1,3 +1,5 @@ +#!/usr/bin/bash + function check-error { if [ $? -ne 0 ]; then echo $1 |