diff options
Diffstat (limited to '.gitlab/ci.sh')
-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 8a313fc4d6..945fca0cfa 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -344,7 +344,7 @@ function build_make() { MAKE_ARGS="${MAKE_ARGS:-} V=0" fi - echo "include mk/flavours/${BUILD_FLAVOUR}.mk" > mk/build.mk + echo "include mk/flavours/${BUILD_FLAVOUR}.mk" >> mk/build.mk echo 'GhcLibHcOpts+=-haddock' >> mk/build.mk run "$MAKE" -j"$cores" $MAKE_ARGS run "$MAKE" -j"$cores" binary-dist-prep TAR_COMP_OPTS=-1 |