diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/rockboxdev.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/rockboxdev.sh b/tools/rockboxdev.sh index eb36a8ff66..0d07b32821 100755 --- a/tools/rockboxdev.sh +++ b/tools/rockboxdev.sh | |||
@@ -1,5 +1,11 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | 2 | ||
3 | # Abort execution as soon as an error is encountered | ||
4 | # That way the script do not let the user think the process completed correctly | ||
5 | # and leave the opportunity to fix the problem and restart compilation where | ||
6 | # it stopped | ||
7 | set -e | ||
8 | |||
3 | # this is where this script will store downloaded files and check for already | 9 | # this is where this script will store downloaded files and check for already |
4 | # downloaded files | 10 | # downloaded files |
5 | dlwhere="/tmp/rbdev-dl" | 11 | dlwhere="/tmp/rbdev-dl" |