diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/rockboxdev.sh | 3 |
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! |
85 | if test ! -w $prefix; then | 85 | if 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 | ||
88 | fi | 89 | fi |
89 | 90 | ||
90 | 91 | ||