summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/rockboxdev.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/rockboxdev.sh b/tools/rockboxdev.sh
index 3e0d5ffbc5..0d6137c702 100755
--- a/tools/rockboxdev.sh
+++ b/tools/rockboxdev.sh
@@ -84,7 +84,8 @@ echo "Build dir: $builddir (edit script to change dir)"
84# be able to install there! 84# be able to install there!
85if test ! -w $prefix; then 85if test ! -w $prefix; then
86 echo "WARNING: this script is set to install in $prefix but has no" 86 echo "WARNING: this script is set to install in $prefix but has no"
87 echo "WARNING: write permission to do so!" 87 echo "WARNING: write permission to do so! Please fix and re-run this script"
88 exit
88fi 89fi
89 90
90 91