diff options
author | Xavier Denis <xldenis@gmail.com> | 2020-02-13 17:52:09 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-29 05:07:50 -0500 |
commit | a999ee96a22650b59855609f84e2808b4133e9e0 (patch) | |
tree | af6a76a019dab2f9b8d6428bedcf55d95d1e2e5e /.gitlab | |
parent | 99d2de860ff82e3f626c8b3d47d355ab16d18fd1 (diff) | |
download | haskell-a999ee96a22650b59855609f84e2808b4133e9e0.tar.gz |
Rename ghci.sh and build.sh to ghci and build respectively
Convert hadrian buildscripts to unsuffixed, dashed form
final cleanups
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" \ |