From 25b53119c4a069b13b1051f3e6f03c8337a03d36 Mon Sep 17 00:00:00 2001 From: daid Date: Wed, 29 Oct 2014 16:57:19 +0100 Subject: [PATCH] Auto-detect which make tool to use. --- package.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/package.sh b/package.sh index 6dc6e55b..7e187dec 100755 --- a/package.sh +++ b/package.sh @@ -88,9 +88,9 @@ if [ "$BUILD_TARGET" = "none" ]; then fi if [ -z `which make` ]; then - MAKE=make -else MAKE=mingw32-make +else + MAKE=make fi # Change working directory to the directory the script is in -- 2.30.2