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