chiark / gitweb /
Auto-detect which make tool to use.
authordaid <daid303@gmail.com>
Wed, 29 Oct 2014 15:57:19 +0000 (16:57 +0100)
committerdaid <daid303@gmail.com>
Wed, 29 Oct 2014 15:57:19 +0000 (16:57 +0100)
package.sh

index bfb993f530fc59742ce033b084978318b861cc06..f0c7e110bc4db0e0ee4ed59f6cf9a156e8312af8 100755 (executable)
@@ -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