diff options
| author | jim@bo <jim@bo> | 2018-06-24 01:54:25 -0400 |
|---|---|---|
| committer | jim@bo <jim@bo> | 2018-06-24 02:04:49 -0400 |
| commit | bf925fed58398ab329ff4fc2858efcd06fba0d2d (patch) | |
| tree | fe30f85528a11b103c09a38b4df2a163286358a1 /vnet/everywhere.sh | |
| parent | c4cc2eb6e159101e4d03d9582a55a5dc0dff50da (diff) | |
Remove prof option
--enable-profiling enables -prof in cabal
--profile enables -prof in stack
Also added:
ghc-prof-options: -g
I think the above will be enabled when cabal is used
to build profiling versions. This probably does not apply
to stack builds.
Diffstat (limited to 'vnet/everywhere.sh')
0 files changed, 0 insertions, 0 deletions