diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-02-12 11:24:36 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-13 09:16:43 -0500 |
| commit | 1bfd825943f6077836361ddc788fb40f2421e283 (patch) | |
| tree | 3003974e5657f72d3165565d9eae8740ad8dcb0f | |
| parent | fa28ae95e4c1ff5b70bf3f8dc6e54fb994bbfa51 (diff) | |
| download | haskell-1bfd825943f6077836361ddc788fb40f2421e283.tar.gz | |
Ensure that Hadrian is built correctly before using it
When Hadrian failed to build, the script would pick a previously built
Hadrian (if available) instead of failing.
| -rwxr-xr-x | hadrian/build.stack.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/hadrian/build.stack.sh b/hadrian/build.stack.sh index 1f598431e8..7a45042ebd 100755 --- a/hadrian/build.stack.sh +++ b/hadrian/build.stack.sh @@ -1,5 +1,8 @@ #!/usr/bin/env bash +# Make sure that the script exits if Hadrian fails to build +set -euo pipefail + # Make sure Hadrian is up-to-date cd hadrian stack build --no-library-profiling ${HADRIAN_NIX:+--nix} |