attempt optimized build once more
This commit is contained in:
parent
621be4685c
commit
5718e2f61b
@ -271,7 +271,7 @@ when:
|
|||||||
cpp-options: -DDEVELOPMENT
|
cpp-options: -DDEVELOPMENT
|
||||||
else:
|
else:
|
||||||
ghc-options:
|
ghc-options:
|
||||||
- -O0
|
- -O
|
||||||
- -fllvm
|
- -fllvm
|
||||||
- +RTS -K0 -RTS
|
- +RTS -K0 -RTS
|
||||||
data-files:
|
data-files:
|
||||||
|
|||||||
Reference in New Issue
Block a user