Merge pull request #10676 from edolstra/require-docker-images

Die rather than warn if a Docker image is missing
This commit is contained in:
Eelco Dolstra 2024-05-10 11:55:46 +02:00 committed by GitHub
commit cb7224a8c2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -189,10 +189,7 @@ for my $platforms (["x86_64-linux", "amd64"], ["aarch64-linux", "arm64"]) {
eval {
downloadFile("dockerImage.$system", "1", $fn);
};
if ($@) {
warn "$@" if $@;
next;
}
die "$@" if $@;
$haveDocker = 1;
print STDERR "loading docker image for $dockerPlatform...\n";