diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-12-30 16:34:54 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-12-30 16:34:54 +0000 |
| commit | 581bcb986f22e2d60f2c01b4be27f50d478df587 (patch) | |
| tree | e7181e2a7e2c4a1cc34137abf3af5648a555db76 /scripts/generate-patches.pl | |
| parent | 6270aa727d63ce4a4d27280f233a55f4c67d8285 (diff) | |
* Some logging for evaluation.
Diffstat (limited to 'scripts/generate-patches.pl')
| -rwxr-xr-x | scripts/generate-patches.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/generate-patches.pl b/scripts/generate-patches.pl index fdbc65ad6..4b91884d0 100755 --- a/scripts/generate-patches.pl +++ b/scripts/generate-patches.pl @@ -219,6 +219,8 @@ foreach my $p (keys %dstOutPaths) { print " not copying, already exists\n"; next; } + + print " size $narDiffSize; full size $dstNarBz2Size\n"; system("cp '$tmpdir/DIFF' '$patchesDir/$finalName.tmp'") == 0 or die "cannot copy diff"; |