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:
161d656
)
Auto-detect which make tool to use.
author
daid
<daid303@gmail.com>
Wed, 29 Oct 2014 15:57:19 +0000
(16:57 +0100)
committer
Youness Alaoui
<kakaroto@kakaroto.homelinux.net>
Wed, 14 Jan 2015 17:09:49 +0000
(12:09 -0500)
package.sh
patch
|
blob
|
history
diff --git
a/package.sh
b/package.sh
index 6dc6e55bf20782ce7667159f7603afb74fb96c56..7e187dec80de428fd735a71b15003c7dcb92c1a9 100755
(executable)
--- 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