summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris Wilson <chris+github@qwirx.com>2009-04-03 00:17:35 +0000
committerChris Wilson <chris+github@qwirx.com>2009-04-03 00:17:35 +0000
commit41ce559afda0c50e8dbe23eedbfce326dfe446e2 (patch)
treec35be03fe107dd70fbe3ccbd54495af2fa3bb5b5
parent280180a59acf2b59482033a70518e18de34f859a (diff)
Use update copy to speed up rebuilds on windows/cygwin.
-rwxr-xr-xinfrastructure/makeparcels.pl.in15
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