chore(debug): add rts option for stack trace
This commit is contained in:
parent
118dac79e7
commit
b3c083f4d4
@ -262,6 +262,7 @@ when:
|
|||||||
ghc-options:
|
ghc-options:
|
||||||
- -Werror
|
- -Werror
|
||||||
- -fwarn-tabs
|
- -fwarn-tabs
|
||||||
|
- +RTS -K0 -xc -RTS
|
||||||
- condition: flag(dev)
|
- condition: flag(dev)
|
||||||
then:
|
then:
|
||||||
ghc-options:
|
ghc-options:
|
||||||
@ -274,7 +275,7 @@ when:
|
|||||||
ghc-options:
|
ghc-options:
|
||||||
- -O
|
- -O
|
||||||
- -fllvm
|
- -fllvm
|
||||||
- +RTS -K0 -RTS
|
- +RTS -K0 -xc -RTS
|
||||||
data-files:
|
data-files:
|
||||||
- testdata/**
|
- testdata/**
|
||||||
library:
|
library:
|
||||||
|
|||||||
Reference in New Issue
Block a user