diff --git a/run-ci b/run-ci index 732801cca3004be8017f06828576932e6f437145..dca1eb9844f9653273e115298a23df1c6628e585 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