summaryrefslogtreecommitdiff
path: root/hadrian
diff options
context:
space:
mode:
authorSylvain Henry <sylvain@haskus.fr>2020-02-12 11:24:36 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-02-13 09:16:43 -0500
commit1bfd825943f6077836361ddc788fb40f2421e283 (patch)
tree3003974e5657f72d3165565d9eae8740ad8dcb0f /hadrian
parentfa28ae95e4c1ff5b70bf3f8dc6e54fb994bbfa51 (diff)
downloadhaskell-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.
Diffstat (limited to 'hadrian')
-rwxr-xr-xhadrian/build.stack.sh3
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}