diff --git a/.github/workflows/check-3rd-party.sh b/.github/workflows/check-3rd-party.sh index 784822c5..215a930f 100755 --- a/.github/workflows/check-3rd-party.sh +++ b/.github/workflows/check-3rd-party.sh @@ -1,5 +1,7 @@ #!/bin/bash +set -e + FILE=$1 status=0 diff --git a/.github/workflows/check-config.sh b/.github/workflows/check-config.sh index 45d04b44..701726d8 100755 --- a/.github/workflows/check-config.sh +++ b/.github/workflows/check-config.sh @@ -1,5 +1,7 @@ #!/bin/bash +set -e + file=$1 entries=$(mktemp) entries_sorted=$(mktemp)