diff --git a/tools/extract-all-patch-data.sh b/tools/extract-all-patch-data.sh index 01acf24e..82b52acd 100644 --- a/tools/extract-all-patch-data.sh +++ b/tools/extract-all-patch-data.sh @@ -1,5 +1,7 @@ #!/bin/bash +set -euo pipefail + SCRIPT_FOLDER="$(realpath "$(dirname "$0")")" SCRIPT="$SCRIPT_FOLDER/extract-patch-data.sh" diff --git a/tools/extract-patch-data.sh b/tools/extract-patch-data.sh index 78cfdade..7c34044b 100644 --- a/tools/extract-patch-data.sh +++ b/tools/extract-patch-data.sh @@ -1,5 +1,7 @@ #!/bin/bash +set -euo pipefail + while read current_line do if [[ $current_line =~ ^Filename:* ]]; then