Remove profiling options added by mistake.
This commit is contained in:
parent
06296276a4
commit
8babfb2911
|
@ -1,5 +1,4 @@
|
|||
GHC_OPTS = \
|
||||
-prof -auto-all \
|
||||
-fglasgow-exts \
|
||||
-fwarn-deprecations \
|
||||
-fwarn-duplicate-exports \
|
||||
|
|
Loading…
Reference in New Issue
Block a user