aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbuildall.sh2
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