diff options
author | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2024-10-25 12:02:14 +0200 |
---|---|---|
committer | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2024-10-25 12:02:14 +0200 |
commit | 903773eb9c3cc2079187dc99c7b48662148ff679 (patch) | |
tree | 2ba8813b47203e6b7c554435e3f32de97e54f5d0 /.github/mock.sh | |
parent | c7de721c4fb575e4f73e7f6f928dcad81cf269a0 (diff) | |
download | monitoring-plugins-903773eb9c3cc2079187dc99c7b48662148ff679.tar.gz |
Add sanity options to test prepare scripts
Diffstat (limited to '.github/mock.sh')
-rwxr-xr-x | .github/mock.sh | 2 |
1 files changed, 2 insertions, 0 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" |