diff options
| -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 a927afe..e33b21c 100755 --- a/tools/rockboxdev.sh +++ b/tools/rockboxdev.sh @@ -17,17 +17,12 @@ builddir="$HOME/build-rbdev" # This script needs to use GNU Make. On Linux systems, GNU Make is invoked # by running the "make" command, on most BSD systems, GNU Make is invoked # by running the "gmake" command. Set the "make" variable accordingly. -if [ -n "`which gmake`" ]; then +if [ -f "`which gmake`" ]; then make="gmake" else make="make" fi -# Alternate detection for Mac OS X/Darwin -if [ "`uname`" == "Darwin" ] && which gmake | grep -q '^no'; then - make="make" -fi - # If detection fails, override the value of make manually: # make="make" |