diff options
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 851eb27933..ff612f663e 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -402,7 +402,7 @@ function clean() { } function run_hadrian() { - run hadrian/build.cabal.sh \ + run hadrian/build-cabal \ --flavour="$FLAVOUR" \ -j"$cores" \ --broken-test="$BROKEN_TESTS" \ |