diff options
| -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; + } } |