diff --git a/scripts/download.pl b/scripts/download.pl index c1623bf91f..2876ae5807 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -273,11 +273,11 @@ if (-f "$target/$filename") { $sum =~ /^(\w+)\s*/ or die "Could not generate file hash\n"; $sum = $1; + cleanup(); exit 0 if $sum eq $file_hash; die "Hash of the local file $filename does not match (file: $sum, requested: $file_hash) - deleting download.\n"; unlink "$target/$filename"; - cleanup(); }; }