aboutsummaryrefslogtreecommitdiff
path: root/scripts/download-using-manifests.pl.in
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-03-19 10:02:02 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-03-19 10:02:02 +0000
commit7e05b8b75e0f4b370cc7d4b78b3fb18a3678b360 (patch)
tree27fa0097f6354f51d32dc7e5fef801c7c4aac765 /scripts/download-using-manifests.pl.in
parentb88460bcbc05ec7c164cb6ce6015b193d3c2d6c5 (diff)
* Future proofing: assume we can read manifests up to version 10
(which should therefore be backwards compatible).
Diffstat (limited to 'scripts/download-using-manifests.pl.in')
-rw-r--r--scripts/download-using-manifests.pl.in7
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/download-using-manifests.pl.in b/scripts/download-using-manifests.pl.in
index 20c01db3c..0c7f8250f 100644
--- a/scripts/download-using-manifests.pl.in
+++ b/scripts/download-using-manifests.pl.in
@@ -19,10 +19,15 @@ my %localPaths;
my %patches;
for my $manifest (glob "$manifestDir/*.nixmanifest") {
- if (readManifest($manifest, \%narFiles, \%localPaths, \%patches) < 3) {
+ my $version = readManifest($manifest, \%narFiles, \%localPaths, \%patches);
+ if ($version < 3) {
print STDERR "you have an old-style manifest `$manifest'; please delete it\n";
exit 1;
}
+ if ($version >= 10) {
+ print STDERR "manifest `$manifest' is too new; please delete it or upgrade Nix\n";
+ exit 1;
+ }
}