diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/version.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/version.sh b/tools/version.sh index 81d72b7c47..9be0b76f8e 100755 --- a/tools/version.sh +++ b/tools/version.sh @@ -113,7 +113,7 @@ perl -pi~ -e ' $seen_version = 0; $old_argv = $ARGV; } - if ($seen_version < 4) { + if ($seen_version < 2) { $seen_version++ if (!/<\?xml/ && s/(version=")[^"]*(")/${1}'"$OSGI_V"'${2}/); } |