diff --git a/tools/update_versions b/tools/update_versions index 5249f0346c..a753599926 100755 --- a/tools/update_versions +++ b/tools/update_versions @@ -89,7 +89,9 @@ function file_info_xml($fd) { if (is_array($fd->url)) { foreach ($fd->url as $url) { $xml .= " $url\n"; - $xml .= " $url.gz\n"; + if ($fd->gzip) { + $xml .= " $url.gz\n"; + } } } else { $xml .= " $fd->url\n";