diff --git a/build.sh b/build.sh index 40d46c354..608fbe1a3 100755 --- a/build.sh +++ b/build.sh @@ -7,7 +7,7 @@ set -eu -o pipefail # run correct build script for detected OS if [[ "$OSTYPE" == "linux-gnu"* ]]; then - ./util/build.sh --disable-tests $@ + MAKE=make ./util/build.sh --disable-tests $@ elif [[ "$OSTYPE" == "darwin"* ]]; then ./util/build-mac.sh --disable-tests $@ elif [[ "$OSTYPE" == "msys"* ]]; then