diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-19 10:02:02 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-19 10:02:02 +0000 |
commit | 7e05b8b75e0f4b370cc7d4b78b3fb18a3678b360 (patch) | |
tree | 27fa0097f6354f51d32dc7e5fef801c7c4aac765 /scripts/download-using-manifests.pl.in | |
parent | b88460bcbc05ec7c164cb6ce6015b193d3c2d6c5 (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.in | 7 |
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; + } } |