fix build attempt
This commit is contained in:
parent
da6ceeef0b
commit
cd51e4e5d3
@ -256,7 +256,7 @@ ghc-options:
|
|||||||
- -fno-max-relevant-binds
|
- -fno-max-relevant-binds
|
||||||
- -j1
|
- -j1
|
||||||
- -freduction-depth=400
|
- -freduction-depth=400
|
||||||
- -enable-split-sections
|
- -split-sections
|
||||||
when:
|
when:
|
||||||
- condition: flag(pedantic)
|
- condition: flag(pedantic)
|
||||||
ghc-options:
|
ghc-options:
|
||||||
|
|||||||
Reference in New Issue
Block a user