diff options
Diffstat (limited to 'tool')
| -rwxr-xr-x | tool/make-snapshot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tool/make-snapshot b/tool/make-snapshot index f5f0ed2bc4..6e9b837588 100755 --- a/tool/make-snapshot +++ b/tool/make-snapshot @@ -52,7 +52,7 @@ PACKAGES = { "zip" => %w".zip zip -Xqr", } DEFAULT_PACKAGES = PACKAGES.keys - ["tar"] -if system("7z", out: IO::NULL) +if !$no7z and system("7z", out: IO::NULL) PACKAGES["gzip"] = %w".tar.gz 7z a dummy -tgzip -mx -so" PACKAGES["zip"] = %w".zip 7z a -tzip -mx" << {out: IO::NULL} elsif gzip = ENV.delete("GZIP") |