Split XARGS into XARGS and XARGS_OPTS

[ghc-hetmet.git] / mk / config.mk.in

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 6f255a4..ee53a5a 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -618,10 +618,9 @@ LdIsGNULd          = @LdIsGNULd@
 #   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.
-ifeq "$(Windows)" "YES"
-XARGS = xargs -s 30000
-else
 XARGS = xargs
+ifeq "$(Windows)" "YES"
+XARGS_OPTS = -s 30000
 endif
 
 #