diff options
Diffstat (limited to '.github/prepare_debian.sh')
| -rwxr-xr-x | .github/prepare_debian.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 | ||