diff options
Diffstat (limited to 'ghc/ghc.mk')
| -rw-r--r-- | ghc/ghc.mk | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/ghc/ghc.mk b/ghc/ghc.mk index 627f4bc13c..fcfb61f65a 100644 --- a/ghc/ghc.mk +++ b/ghc/ghc.mk @@ -67,11 +67,6 @@ else ghc_stage1_CONFIGURE_OPTS += -f-threaded endif -# Same for an event-logging RTS. -ifeq "$(GhcEventLoggingRts)" "NO" -ghc_stage1_CONFIGURE_OPTS += -f-eventlog -endif - ifeq "$(GhcProfiled)" "YES" ghc_stage2_PROGRAM_WAY = p endif |