summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/rockboxdev.sh7
1 files changed, 1 insertions, 6 deletions
diff --git a/tools/rockboxdev.sh b/tools/rockboxdev.sh
index a927afef99..e33b21c289 100755
--- a/tools/rockboxdev.sh
+++ b/tools/rockboxdev.sh
@@ -17,17 +17,12 @@ builddir="$HOME/build-rbdev"
17# This script needs to use GNU Make. On Linux systems, GNU Make is invoked 17# This script needs to use GNU Make. On Linux systems, GNU Make is invoked
18# by running the "make" command, on most BSD systems, GNU Make is invoked 18# by running the "make" command, on most BSD systems, GNU Make is invoked
19# by running the "gmake" command. Set the "make" variable accordingly. 19# by running the "gmake" command. Set the "make" variable accordingly.
20if [ -n "`which gmake`" ]; then 20if [ -f "`which gmake`" ]; then
21 make="gmake" 21 make="gmake"
22else 22else
23 make="make" 23 make="make"
24fi 24fi
25 25
26# Alternate detection for Mac OS X/Darwin
27if [ "`uname`" == "Darwin" ] && which gmake | grep -q '^no'; then
28 make="make"
29fi
30
31# If detection fails, override the value of make manually: 26# If detection fails, override the value of make manually:
32# make="make" 27# make="make"
33 28