wip-parallel-experiment (cheng) pass forgotten option

tweag · May 4, 2020 · 73d3789 · 73d3789
1 parent 2a77b46
commit 73d3789
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/asterius/src/Asterius/Main.hs b/asterius/src/Asterius/Main.hs
@@ -277,6 +277,7 @@ ahcLink task = do
          ]
       <> ["-optl--no-gc-sections" | not (gcSections task)]
       <> ["-optl--verbose-err" | verboseErr task]
+      <> ["-optl--thread-pool-size=" <> show (threadPoolSize task)]
       <> extraGHCFlags task
       <> [ "-optl--output-ir="
              <> outputDirectory task