From 5b9238c84ee83d21c3b74d94fb166655f02cd426 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Sun, 3 Nov 2019 23:23:43 -0500
Subject: [PATCH] ci: Don't override EXTRA_OPTS

---
 run-ci | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-ci b/run-ci
index 732801cc..dca1eb98 100755
--- a/run-ci
+++ b/run-ci
@@ -20,7 +20,7 @@ else
   echo "Couldn't find broken package list"
 fi
 
-EXTRA_OPTS="--cabal-option=-j$CPUS" # Use cabal's build parallelism
+EXTRA_OPTS="$EXTRA_OPTS --cabal-option=-j$CPUS" # Use cabal's build parallelism
 if [ -n "$EXTRA_HC_OPTS" ]; then
   EXTRA_OPTS="$EXTRA_OPTS --ghc-option=\"$EXTRA_HC_OPTS\""
 fi
-- 
GitLab