chiark / gitweb /
Auto-detect which make tool to use.
authordaid <daid303@gmail.com>
Wed, 29 Oct 2014 15:57:19 +0000 (16:57 +0100)
committerYouness Alaoui <kakaroto@kakaroto.homelinux.net>
Wed, 14 Jan 2015 17:09:49 +0000 (12:09 -0500)
package.sh

index 6dc6e55bf20782ce7667159f7603afb74fb96c56..7e187dec80de428fd735a71b15003c7dcb92c1a9 100755 (executable)
@@ -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