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 131d7b91c9..869eb297b8 100755 --- a/tool/make-snapshot +++ b/tool/make-snapshot @@ -463,6 +463,7 @@ def package(vcs, rev, destdir, tmp = nil) end vars.delete("UNICODE_FILES") # for stable branches vars["UNICODE_VERSION"] = $unicode_version if $unicode_version + vars["EXTRACT_EXTLIBS"] = "" args = vars.dup mk.gsub!(/@([A-Za-z_]\w*)@/) {args.delete($1); vars[$1] || ENV[$1]} mk << commonmk.gsub(/\{\$([^(){}]*)[^{}]*\}/, "").sub(/^revision\.tmp::$/, '\& Makefile') |