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(/(?