From 09f0acaf11f896c6dcec8f0a156b594214a3dc23 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Fri, 2 Aug 2019 14:23:01 -0400
Subject: [PATCH] Ensure EXTRA_HC_OPTS are propagated

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 230ca71..c470968 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -80,6 +80,7 @@ build:
         -A testedPackages
         --keep-going
         --arg bindistTarball $GHC_TARBALL
+        --arg extraHcOpts "\"$EXTRA_HC_OPTS\""
         || { echo "Build failed!"; ret=1; }
     - scripts/summarize.py || echo "summarize script failed"
     - exit $ret
-- 
GitLab