diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-09-04T15·38+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-09-04T15·38+0000 |
commit | 9441550acb34cf35f6cd3859d3672adca79551d9 (patch) | |
tree | 9a6cc5ec0f3011841923a93d50035ae7ddbdf9d1 /scripts/readmanifest.pm.in | |
parent | 7b20c0ed4b3ef518c1f55bfbb2ece932539f35ea (diff) |
* nix-push / generate-patches: bzip the manifest.
Diffstat (limited to 'scripts/readmanifest.pm.in')
-rw-r--r-- | scripts/readmanifest.pm.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/readmanifest.pm.in b/scripts/readmanifest.pm.in index 1d44444700ee..b41e72dfba14 100644 --- a/scripts/readmanifest.pm.in +++ b/scripts/readmanifest.pm.in @@ -222,6 +222,14 @@ sub writeManifest rename("$manifest.tmp", $manifest) or die "cannot rename $manifest.tmp: $!"; + + + # Create a bzipped manifest. + system("@bzip2@ < $manifest > $manifest.bz2.tmp") == 0 + or die "cannot compress manifest"; + + rename("$manifest.bz2.tmp", "$manifest.bz2") + or die "cannot rename $manifest.bz2.tmp: $!"; } |