diff options
Diffstat (limited to 'tools/rockboxdev.sh')
-rwxr-xr-x | tools/rockboxdev.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/rockboxdev.sh b/tools/rockboxdev.sh index 7bfd7840c9..a927afef99 100755 --- a/tools/rockboxdev.sh +++ b/tools/rockboxdev.sh | |||
@@ -23,6 +23,11 @@ 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 | |||
26 | # If detection fails, override the value of make manually: | 31 | # If detection fails, override the value of make manually: |
27 | # make="make" | 32 | # make="make" |
28 | 33 | ||