From 8728fe4b20d3553172a87cece8986cf8e4db1e42 Mon Sep 17 00:00:00 2001
From: Zubin Duggal <zubin.duggal@gmail.com>
Date: Sun, 20 Jun 2021 19:23:00 +0530
Subject: ci: fix build.mk

---
 .gitlab/ci.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.1