diff options
-rwxr-xr-x | tools/rockboxdev.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/rockboxdev.sh b/tools/rockboxdev.sh index 1c9d794b07..897c6f8652 100755 --- a/tools/rockboxdev.sh +++ b/tools/rockboxdev.sh | |||
@@ -24,9 +24,9 @@ builddir="${RBDEV_BUILD:-/tmp/rbdev-build}" | |||
24 | # by running the "make" command, on most BSD systems, GNU Make is invoked | 24 | # by running the "make" command, on most BSD systems, GNU Make is invoked |
25 | # by running the "gmake" command. Set the "make" variable accordingly. | 25 | # by running the "gmake" command. Set the "make" variable accordingly. |
26 | if [ -f "`which gmake 2>/dev/null`" ]; then | 26 | if [ -f "`which gmake 2>/dev/null`" ]; then |
27 | make="gmake" | 27 | make="gmake -r" |
28 | else | 28 | else |
29 | make="make" | 29 | make="make -r" |
30 | fi | 30 | fi |
31 | 31 | ||
32 | if [ -z $GNU_MIRROR ] ; then | 32 | if [ -z $GNU_MIRROR ] ; then |