diff --git a/tools/update_versions b/tools/update_versions index 86a89c8627..f983727d1a 100755 --- a/tools/update_versions +++ b/tools/update_versions @@ -389,6 +389,7 @@ function convert_simplexml($x) { $v->files = $fds; $v->dont_throttle = get_bool($x, "dont_throttle"); $v->needs_network = get_bool($x, "needs_network"); + $v->is_wrapper = get_bool($x, "is_wrapper"); $v->file_prefix = (string)$x->file_prefix; return $v; } @@ -413,6 +414,7 @@ function process_version($a, $v, $p) { $vers->files = array(); $vers->dont_throttle = false; $vers->needs_network = false; + $vers->is_wrapper = false; $vers->file_prefix = false; } @@ -450,6 +452,9 @@ function process_version($a, $v, $p) { if ($vers->needs_network) { $xml .= " \n"; } + if ($vers->is_wrapper) { + $xml .= " \n"; + } if ($vers->file_prefix != "") { $xml .= " $vers->file_prefix\n"; }