Commit 171f88a2 authored by Ben Gamari's avatar Ben Gamari 🐢

ci: Don't override EXTRA_OPTS

parent f55078d1
Pipeline #12125 failed with stage
in 118 minutes and 44 seconds
......@@ -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
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment