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 (file)
--- 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
 
 #