diff options
Diffstat (limited to 'tool')
-rwxr-xr-x | tool/make-snapshot | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tool/make-snapshot b/tool/make-snapshot index 7057733696..34a37a92f3 100755 --- a/tool/make-snapshot +++ b/tool/make-snapshot @@ -137,6 +137,7 @@ def package(rev, destdir) v = n end system("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 def (clean = []).add(n) push(n); n end Dir.chdir(v) do File.open(clean.add("cross.rb"), "w") {|f| f.puts "CROSS_COMPILING=true"} |