From e9036402ca4b33faff26b09cc1065e8583c94e5a Mon Sep 17 00:00:00 2001 From: jahway603 Date: Thu, 6 Apr 2023 13:21:34 -0400 Subject: [PATCH] build.sh change --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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