diff options
| -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 |
