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