diff options
-rwxr-xr-x | .github/mock.sh | 2 | ||||
-rwxr-xr-x | .github/prepare_debian.sh | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/.github/mock.sh b/.github/mock.sh index 7fbe6903..8da147ec 100755 --- a/.github/mock.sh +++ b/.github/mock.sh | |||
@@ -2,6 +2,8 @@ | |||
2 | 2 | ||
3 | set -x | 3 | set -x |
4 | 4 | ||
5 | set -euo pipefail | ||
6 | |||
5 | export DEBIAN_FRONTEND=noninteractive | 7 | export DEBIAN_FRONTEND=noninteractive |
6 | 8 | ||
7 | BASE_PATH="/src" | 9 | BASE_PATH="/src" |
diff --git a/.github/prepare_debian.sh b/.github/prepare_debian.sh index 3f4674a2..c38d241e 100755 --- a/.github/prepare_debian.sh +++ b/.github/prepare_debian.sh | |||
@@ -1,7 +1,7 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | 2 | ||
3 | set -x | 3 | set -x |
4 | set -e | 4 | set -euo pipefail |
5 | 5 | ||
6 | export DEBIAN_FRONTEND=noninteractive | 6 | export DEBIAN_FRONTEND=noninteractive |
7 | 7 | ||