diff options
-rwxr-xr-x | tool/make-snapshot | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tool/make-snapshot b/tool/make-snapshot index b583efca08..865fdeb965 100755 --- a/tool/make-snapshot +++ b/tool/make-snapshot @@ -308,7 +308,8 @@ def package(vcs, rev, destdir, tmp = nil) "PWD"=>Dir.pwd, "CONFIGURE"=>"configure", } - mk.gsub!(/@([A-Za-z_]\w*)@/) {vars[$1] || ENV[$1]} + args = vars.dup + mk.gsub!(/@([A-Za-z_]\w*)@/) {args.delete($1); vars[$1] || ENV[$1]} mk << commonmk.gsub(/(?<!#)\{[^{}]*\}/, "") mk << <<-'APPEND' @@ -320,7 +321,7 @@ extract-gems: open(clean.add("Makefile"), "w") do |f| f.puts mk end - system("make", "prereq") + system("make", "prereq", *args.map {|arg| arg.join("=")}) clean.push("rbconfig.rb", ".rbconfig.time", "enc.mk") print "prerequisites" else |