diff options
-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 d9f3d79524..ca4074707f 100755 --- a/tool/make-snapshot +++ b/tool/make-snapshot @@ -311,7 +311,7 @@ def package(vcs, rev, destdir, tmp = nil) end if $srcdir Dir.glob($srcdir + "/{tool/config.{guess,sub},gems/*.gem,.downloaded-cache/*,enc/unicode/data/**/*.txt}") do |file| - puts "copying #{file}" + puts "copying #{file}" if $VERBOSE dest = exported + file[$srcdir.size..-1] FileUtils.mkpath(File.dirname(dest)) begin |