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