diff --git a/mk/config.mk.in b/mk/config.mk.in index 82c7dbf0dde2e58941282536a01267310b340e08..2b124049990a376e2308b7a2616a1ea3039002f8 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -245,10 +245,14 @@ GhcLibWays=p # # ToDo: track down the source of this. # -ifneq "$(strip $(way))" "p" -GhcLibHcOpts= -O -split-objs -odir $* -else +ifeq "$(strip $(way))" "p" +GhcLibHcOpts= -O +else +ifeq "$(strip $(way))" "mr" GhcLibHcOpts= -O +else +GhcLibHcOpts= -O -split-objs -odir $* +endif endif # what to include in a binary distribution