chiark
/
gitweb
/
~ianmdlvl
/
cura.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
9619cc4
)
Auto-detect which make tool to use.
author
daid
<daid303@gmail.com>
Wed, 29 Oct 2014 15:57:19 +0000
(16:57 +0100)
committer
daid
<daid303@gmail.com>
Wed, 29 Oct 2014 15:57:19 +0000
(16:57 +0100)
package.sh
patch
|
blob
|
history
diff --git
a/package.sh
b/package.sh
index bfb993f530fc59742ce033b084978318b861cc06..f0c7e110bc4db0e0ee4ed59f6cf9a156e8312af8 100755
(executable)
--- 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