opendev/gerrit
Code Issues Proposed changes

Merge "No pom.xml in gerrit-plugin-gwtui to update"

Browse Source
This commit is contained in:
David Pursehouse
2014-04-30 02:07:45 +00:00
committed by Gerrit Code Review
parent 123ff5a2e2 c092bc24fe
commit 1538128397
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
tools/version.py
View File

@@ -30,8 +30,9 @@ elif len(args) > 1:
new_version = args[0]
pattern = re.compile(r'(\s*)<version>[-.\w]+</version>')
for project in ['gerrit-plugin-archetype', 'gerrit-plugin-gwt-archetype',
'gerrit-plugin-gwtui', 'gerrit-plugin-js-archetype']:
for project in ['gerrit-plugin-archetype',
'gerrit-plugin-gwt-archetype',
'gerrit-plugin-js-archetype']:
pom = os.path.join(project, 'pom.xml')
try:
outxml = ""