Check for bash in scripts

oneapi-src · Jul 22, 2022 · 034bb91 · 034bb91
1 parent 35c0458
commit 034bb91
Show file tree

Hide file tree

Showing 7 changed files with 42 additions and 0 deletions.
diff --git a/script/bootstrap b/script/bootstrap
@@ -6,6 +6,12 @@
 ###############################################################################
 # Build cpu dependencies.
 
+if [ -z "$BASH_VERSION" ]
+then
+  echo "This script must be run under bash"
+  exit 1
+fi
+
 # Do not set Exit on Error in scripts that will be sourced
 # set -o errexit
 

diff --git a/script/build b/script/build
@@ -6,6 +6,12 @@
 ###############################################################################
 # Build cpu.
 
+if [ -z "$BASH_VERSION" ]
+then
+  echo "This script must be run under bash"
+  exit 1
+fi
+
 if [ "$0" = "$BASH_SOURCE" ]
 then
   set -o errexit

diff --git a/script/clean b/script/clean
@@ -6,6 +6,12 @@
 ###############################################################################
 # Clean cpu.
 
+if [ -z "$BASH_VERSION" ]
+then
+  echo "This script must be run under bash"
+  exit 1
+fi
+
 if [ "$0" = "$BASH_SOURCE" ]
 then
   set -o errexit

diff --git a/script/install b/script/install
@@ -6,6 +6,12 @@
 ###############################################################################
 # Install cpu.
 
+if [ -z "$BASH_VERSION" ]
+then
+  echo "This script must be run under bash"
+  exit 1
+fi
+
 if [ "$0" = "$BASH_SOURCE" ]
 then
   set -o errexit

diff --git a/script/lint b/script/lint
@@ -6,6 +6,12 @@
 ###############################################################################
 # Check code for issues.
 
+if [ -z "$BASH_VERSION" ]
+then
+  echo "This script must be run under bash"
+  exit 1
+fi
+
 if [ "$0" = "$BASH_SOURCE" ]
 then
   set -o errexit

diff --git a/script/stress b/script/stress
@@ -18,6 +18,12 @@
 #      (if there's failure, test's failed)
 ###############################################################################
 
+if [ -z "$BASH_VERSION" ]
+then
+  echo "This script must be run under bash"
+  exit 1
+fi
+
 ## start of boilerplate to switch to project root ------------------------------
 script_dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 proj_dir="$( dirname "${script_dir}" )"

diff --git a/script/test b/script/test
@@ -6,6 +6,12 @@
 ###############################################################################
 # Run basic tests on base.
 
+if [ -z "$BASH_VERSION" ]
+then
+  echo "This script must be run under bash"
+  exit 1
+fi
+
 if [ "$0" = "$BASH_SOURCE" ]
 then
   set -o errexit