diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-02-24 17:22:10 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-26 15:10:09 -0500 |
commit | 25e2458ee9e8007687c165fe6b27adf91f405ed0 (patch) | |
tree | 745eab5be4713b0f2a803155fbffe5e6e2f51ae1 /.gitlab | |
parent | 7dc54873c0768ad3234c40300ae20e4f1e847bdd (diff) | |
download | haskell-25e2458ee9e8007687c165fe6b27adf91f405ed0.tar.gz |
hadrian: Add --broken-test flag
This exposes the flag of the same name supported by the testsuite
driver.
Diffstat (limited to '.gitlab')
-rwxr-xr-x | .gitlab/ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 13ec55f389..851eb27933 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -405,6 +405,7 @@ function run_hadrian() { run hadrian/build.cabal.sh \ --flavour="$FLAVOUR" \ -j"$cores" \ + --broken-test="$BROKEN_TESTS" \ $HADRIAN_ARGS \ $@ } |