diff options
Diffstat (limited to 'scripts/nix-pull.in')
| -rw-r--r-- | scripts/nix-pull.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/nix-pull.in b/scripts/nix-pull.in index 13a2199fbb57..efd0c074fd44 100644 --- a/scripts/nix-pull.in +++ b/scripts/nix-pull.in @@ -42,7 +42,9 @@ sub processURL { "'$url' > '$manifest'") == 0 or die "curl failed: $?"; - readManifest $manifest, \%narFiles, \%patches, \%successors; + if (readManifest($manifest, \%narFiles, \%patches, \%successors) < 3) { + die "manifest `$url' is too old (i.e., for Nix <= 0.7)\n"; + } my $baseName = "unnamed"; if ($url =~ /\/([^\/]+)\/[^\/]+$/) { # get the forelast component |