Commit 1bfd8259 authored by Sylvain Henry's avatar Sylvain Henry Committed by Marge Bot

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.
parent fa28ae95
Pipeline #15770 failed with stages
in 569 minutes and 55 seconds
#!/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}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment