diff options
Diffstat (limited to 'rtems-release-sources')
| -rwxr-xr-x | rtems-release-sources | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rtems-release-sources b/rtems-release-sources index 39e33c8..d743da2 100755 --- a/rtems-release-sources +++ b/rtems-release-sources @@ -29,6 +29,8 @@ # POSSIBILITY OF SUCH DAMAGE. # +set -e + # # The script collects the sources for all the tools. # |