Skip to content
Snippets Groups Projects
Unverified Commit 3c04d39e authored by mergify[bot]'s avatar mergify[bot] Committed by GitHub
Browse files

Two fixes to multi repl command (backport #10017) (#10085)


* Add extra ghc options to multi-repl file

These options are configured into the program by Cabal, so we also need
to extract these and put them into the mutli-file.

Fixes #10015

(cherry picked from commit 539cb7bc)

* Fix rendering of `-j` option in multi-repl

Before this was rendered as..

```
/run/current-system/sw/bin/ghc --interactive -package-env - -j 'NumJobs (Just 8)' ...
```

Due to this place not being updated when support for semaphores was
added.

(cherry picked from commit c3708d21)

---------

Co-authored-by: default avatarMatthew Pickering <matthewtpickering@gmail.com>
Co-authored-by: default avatarmergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
parent 4175a284
No related branches found
No related tags found
Loading
Showing
with 130 additions and 2 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment