diff options
Diffstat (limited to 'ghc/ghc.mk')
| -rw-r--r-- | ghc/ghc.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ghc/ghc.mk b/ghc/ghc.mk index 1bda27bfee..a17a47e547 100644 --- a/ghc/ghc.mk +++ b/ghc/ghc.mk @@ -33,8 +33,9 @@ ghc_stage2_HC_OPTS += -threaded ghc_stage3_HC_OPTS += -threaded endif -# XXX ToDp -# ifeq "$(GhcProfiled)" "YES" +ifeq "$(GhcProfiled)" "YES" +ghc_stage2_HC_OPTS += -prof +endif ghc_stage1_MODULES = Main |