Use xargs to delete files on Cygwin, as it's much faster than find -exec.

1 files changed, 1 insertions, 1 deletions

diff --git a/infrastructure/makeparcels.pl.in b/infrastructure/makeparcels.pl.in
index 68b50198..6a355bbf 100755
--- a/infrastructure/makeparcels.pl.in
+++ b/infrastructure/makeparcels.pl.in
@@ -101,7 +101,7 @@ for my $parcel (@parcels)
 	print MAKE "\trm -rf ",parcel_dir($parcel),"\n";
 	print MAKE "\trm -f ",parcel_target($parcel),"\n";
 }
-print MAKE "\tfind release debug -type f -exec rm -f {} \\;\n";
+print MAKE "\tif [ `uname -o` = 'Cygwin' ]; then find release debug -type f | xargs -r rm -f; else find release debug -type f -exec rm -f {} \\;; fi\n";
 print MAKE "\n";
 
 print MAKE "test:\trelease/common/test\n\nrelease/common/test:\n\t./runtest.pl ALL release\n\n";