From: Ian Lynagh <igloo@earth.li>
Date: Thu, 12 Aug 2010 22:37:21 +0000 (+0000)
Subject: Reduce the xargs -s value we use on Windows
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=429dc9a048f5533143fb5c9908b09d3155496e9b

Reduce the xargs -s value we use on Windows
With 30000 I was getting:
    xargs: value for -s option should be < 28153
---

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 2be8a52..290db85 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -627,10 +627,12 @@ LdIsGNULd		= @LdIsGNULd@
 # On MSYS, building with SplitObjs=YES fails with 
 #   ar: Bad file number
 # see #3201.  We need to specify a smaller max command-line size
-# to work around it.  32767 doesn't work; 30000 does.
+# to work around it.  32767 doesn't work; 30000 does, but says
+#     xargs: value for -s option should be < 28153
+# so we now use 20000 to be comfortably below this bound
 XARGS = xargs
 ifeq "$(Windows)" "YES"
-XARGS_OPTS = -s 30000
+XARGS_OPTS = -s 20000
 endif
 
 #