diff options
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/cross-port | 1 | ||||
| -rw-r--r-- | distrib/hc-build | 1 |
2 files changed, 0 insertions, 2 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 diff --git a/distrib/hc-build b/distrib/hc-build index 43133f83de..13afaa7adb 100644 --- a/distrib/hc-build +++ b/distrib/hc-build @@ -32,7 +32,6 @@ cat >>mk/build.mk <<END GhcUnregisterised=YES GhcWithInterpreter=NO GhcWithNativeCodeGen=NO -SplitObjs=NO GhcLibWays= GhcWithSMP=NO END |