diff options
Diffstat (limited to 'tools/rockboxdev.sh')
| -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)" # be able to install there! if test ! -w $prefix; then echo "WARNING: this script is set to install in $prefix but has no" - echo "WARNING: write permission to do so!" + echo "WARNING: write permission to do so! Please fix and re-run this script" + exit fi |