diff options
Diffstat (limited to 'tools/rockboxdev.sh')
-rwxr-xr-x | tools/rockboxdev.sh | 7 |
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. |
20 | if [ -n "`which gmake`" ]; then | 20 | if [ -f "`which gmake`" ]; then |
21 | make="gmake" | 21 | make="gmake" |
22 | else | 22 | else |
23 | make="make" | 23 | make="make" |
24 | fi | 24 | fi |
25 | 25 | ||
26 | # Alternate detection for Mac OS X/Darwin | ||
27 | if [ "`uname`" == "Darwin" ] && which gmake | grep -q '^no'; then | ||
28 | make="make" | ||
29 | fi | ||
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 | ||