diff options
Diffstat (limited to '.gitlab/ci.sh')
-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 4ab1f3fc81..9b68799e37 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -504,6 +504,7 @@ function test_hadrian() { run_hadrian \ test \ --summary-junit=./junit.xml \ + --test-have-intree-files \ --test-compiler="$TOP/_build/install/bin/ghc$exe" \ "runtest.opts+=${RUNTEST_ARGS:-}" } |