diff options
Diffstat (limited to 'tools/rockboxdev.sh')
| -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" |