diff options
Diffstat (limited to 'infrastructure')
| -rwxr-xr-x | infrastructure/makeparcels.pl.in | 2 |
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"; |