ghcjs: disable profiling by default

This commit is contained in:
Yorick van Pelt
2019-11-01 21:28:26 +01:00
committed by Peter Simons
parent 0790fbcaef
commit a1b68b688b
@@ -25,7 +25,7 @@ in
, doBenchmark ? false , doBenchmark ? false
, doHoogle ? true , doHoogle ? true
, editedCabalFile ? null , editedCabalFile ? null
, enableLibraryProfiling ? true , enableLibraryProfiling ? !(ghc.isGhcjs or false)
, enableExecutableProfiling ? false , enableExecutableProfiling ? false
, profilingDetail ? "exported-functions" , profilingDetail ? "exported-functions"
# TODO enable shared libs for cross-compiling # TODO enable shared libs for cross-compiling