diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-05-23 09:14:39 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-05-30 09:41:39 -0400 |
| commit | 59bd61599561b54c204f0b99c2f4f4abd1af5c57 (patch) | |
| tree | a8ae7ccc489d563d886ade90c2050d4b2c3af425 /.gitlab/ci.sh | |
| parent | 5878f439d4214ba0dd895e56460f15fc6c67283c (diff) | |
| download | haskell-59bd61599561b54c204f0b99c2f4f4abd1af5c57.tar.gz | |
ci: Make sure to exit promptly if `make install` fails.
Due to the vageries of bash, you have to explicitly handle the failure
and exit when in a function.
This failed to exit promptly when !8247 was failing.
See #21358 for the general issue
Diffstat (limited to '.gitlab/ci.sh')
| -rwxr-xr-x | .gitlab/ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 3e3549e2f1..c64942a321 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -549,7 +549,7 @@ function make_install_destdir() { mkdir -p "$destdir" mkdir -p "$instdir" - run "$MAKE" DESTDIR="$destdir" install + run "$MAKE" DESTDIR="$destdir" install || fail "make install failed" # check for empty dir portably # https://superuser.com/a/667100 if find "$instdir" -mindepth 1 -maxdepth 1 | read; then |