diff options
-rwxr-xr-x | tool/make-snapshot | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tool/make-snapshot b/tool/make-snapshot index 11b9b22207..0eb0ee8cf6 100755 --- a/tool/make-snapshot +++ b/tool/make-snapshot @@ -214,7 +214,9 @@ def package(rev, destdir) v = n end system(*%W"patch -d #{v} -p0 -i #{$patch_file}") if $patch_file - "take a breath, and go ahead".scan(/./) {|c|print c; sleep(c == "," ? 0.7 : 0.05)}; puts + if !$exported or $patch_file + "take a breath, and go ahead".scan(/./) {|c|print c; sleep(c == "," ? 0.7 : 0.05)}; puts + end def (clean = []).add(n) push(n); n end Dir.chdir(v) do File.open(clean.add("cross.rb"), "w") do |f| |