diff options
| author | John MacFarlane <[email protected]> | 2023-07-14 08:59:38 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-07-14 08:59:38 -0700 |
| commit | 8ccb46b893516949ad9ff66ca8cd32f2a4ad7c64 (patch) | |
| tree | d6076b0b51c254480600c05b24857c55de5569a5 | |
| parent | df3a58de1d142c75d8f20d7b7e2d92b9ad41dddd (diff) | |
A third try.
| -rw-r--r-- | .cirrus.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 41be541de..d1fde5ddb 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -59,7 +59,7 @@ task: memory: 12G env: CABALOPTS: | - -f-export-dynamic -fembed_data_files -fserver -f-lua --enable-executable-static -j + -f-export-dynamic -fembed_data_files -f-server -f-lua --enable-executable-static -j GHCOPTS: -j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread cabal_store_cache: folder: ~/.local/cabal/state |