diff options
Diffstat (limited to 'distrib/cross-port')
| -rw-r--r-- | distrib/cross-port | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/distrib/cross-port b/distrib/cross-port index 7c54604ae6..4a1854135a 100644 --- a/distrib/cross-port +++ b/distrib/cross-port @@ -35,7 +35,6 @@ if [ ! -f b1-stamp ]; then echo "GhcUnregisterised = YES" >> mk/build.mk echo "GhcLibHcOpts = -O -H32m -fvia-C -keep-hc-files" >> mk/build.mk echo "GhcLibWays =" >> mk/build.mk - echo "SplitObjs = NO" >> mk/build.mk # We could optimise slightly by not building hslibs here. Also, building # the RTS is not necessary (and might not be desirable if we're using |