diff options
author | Chris Wilson <chris+github@qwirx.com> | 2009-04-03 00:17:35 +0000 |
---|---|---|
committer | Chris Wilson <chris+github@qwirx.com> | 2009-04-03 00:17:35 +0000 |
commit | 41ce559afda0c50e8dbe23eedbfce326dfe446e2 (patch) | |
tree | c35be03fe107dd70fbe3ccbd54495af2fa3bb5b5 | |
parent | 280180a59acf2b59482033a70518e18de34f859a (diff) |
Use update copy to speed up rebuilds on windows/cygwin.
-rwxr-xr-x | infrastructure/makeparcels.pl.in | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/infrastructure/makeparcels.pl.in b/infrastructure/makeparcels.pl.in index e9e240db..cc54b23f 100755 --- a/infrastructure/makeparcels.pl.in +++ b/infrastructure/makeparcels.pl.in @@ -25,6 +25,13 @@ sub os_matches ($) return 0; } +my $copy_command = "cp -p"; + +if ($build_os eq 'CYGWIN') +{ + $copy_command = "cp -pu"; # faster +} + open PARCELS,"parcels.txt" or die "Can't open parcels file"; { my $cur_parcel = ''; @@ -168,7 +175,7 @@ for my $parcel (@parcels) print MAKE <<EOF; $dir/$name$exeext: release/bin/$name/$name$exeext mkdir -p $dir - cp -p release/bin/$name/$name$exeext $dir + $copy_command release/bin/$name/$name$exeext $dir .PHONY: release/bin/$name/$name$exeext release/bin/$name/$name$exeext: @@ -192,11 +199,11 @@ EOF if ($optional) { print MAKE "\ttest -r $fullpath " . - "&& cp -p $fullpath $dir || true\n"; + "&& $copy_command $fullpath $dir || true\n"; } else { - print MAKE "\tcp -p $fullpath $dir\n"; + print MAKE "\t$copy_command $fullpath $dir\n"; } print MAKE "\n"; @@ -208,7 +215,7 @@ EOF print MAKE <<EOF; $dir/${name}.gz: docs/man/${name}.gz mkdir -p $dir - cp -p docs/man/${name}.gz $dir + $copy_command docs/man/${name}.gz $dir EOF # Releases have the docs pre-made, but users |