diff options
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" |