diff options
Diffstat (limited to 'support/scripts/apply-patches.sh')
| -rwxr-xr-x | support/scripts/apply-patches.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/support/scripts/apply-patches.sh b/support/scripts/apply-patches.sh index 694302d33e..11fa5bf68b 100755 --- a/support/scripts/apply-patches.sh +++ b/support/scripts/apply-patches.sh @@ -31,6 +31,9 @@ # applied. The list of the patches applied is stored in '.applied_patches_list' # file in the build directory. +# We want to catch any unexpected failure, and exit immediately. +set -e + silent= if [ "$1" = "-s" ] ; then # add option to be used by the patch tool |
