summaryrefslogtreecommitdiff
path: root/infrastructure
diff options
context:
space:
mode:
Diffstat (limited to 'infrastructure')
-rwxr-xr-xinfrastructure/makedistribution.pl.in10
1 files changed, 9 insertions, 1 deletions
diff --git a/infrastructure/makedistribution.pl.in b/infrastructure/makedistribution.pl.in
index 58c71fd5..3914780a 100755
--- a/infrastructure/makedistribution.pl.in
+++ b/infrastructure/makedistribution.pl.in
@@ -115,6 +115,13 @@ sub copy_from_list
elsif($src eq 'NO-LICENSE')
{
$no_license{$dst} = 1;
+
+ # actually copy it, to remove redundancy in manifests
+ $src = $dst;
+ $dst = $other;
+ $dst = $src if $dst eq '';
+
+ copy_file($src,$dst);
}
elsif($src eq 'RUN')
{
@@ -252,7 +259,8 @@ sub copy_file
{
# copy as binary
# print "binary copy $fn to $base_name/$dst_fn\n";
- system 'cp',$fn,"$base_name/$dst_fn"
+ my $cmd = "cp -p $fn $base_name/$dst_fn";
+ system($cmd) == 0 or die "copy failed: $cmd";
}
# copy executable bit from src