diff --git a/core/c/jbigi/mbuild-all.sh b/core/c/jbigi/mbuild-all.sh index 4814d58980e40c4f03181f235723496265f66f6c..a108dffe0f1ac6e6e503751928c0059e7003fdb2 100755 --- a/core/c/jbigi/mbuild-all.sh +++ b/core/c/jbigi/mbuild-all.sh @@ -1,5 +1,13 @@ #!/usr/bin/env bash +if [ -z "$BASH_VERSION" ]; then + echo "This script needs to be run with Bash." + echo + echo "Please install bash and then run this script with" + echo "bash $0" + exit 1 +fi + #FIXME What platforms for MacOS? MISC_DARWIN_PLATFORMS="powerpc powerpc64 powerpc64le powerpcle"