diff options
| -rwxr-xr-x | .gitlab/ci.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index e40c227b08..8b11cb3616 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -400,8 +400,10 @@ 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 + info "build.mk (before build) is:" + cat mk/build.mk run "$MAKE" -j"$cores" "$MAKE_ARGS" run "$MAKE" -j"$cores" binary-dist-prep TAR_COMP_OPTS=-1 ls -lh "$BIN_DIST_PREP_TAR_COMP" |