From 675c6cbee68e535cc5cf80883bd07d4c6f217fbd 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 bfb993f5..f0c7e110 100755 --- a/package.sh +++ b/package.sh @@ -82,9 +82,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