opendev/gerrit
Code Issues Proposed changes

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

Browse Source 
9a13f852f04b956f1d8b51526732d187258ef58b add utility script to update
pom.xml with newest version.  gerrit-plugin-gwtui project doesn't have
pom.xml and must not be updated.

Change-Id: If2d367e8b8c0a5c4960bfc0a059b42cf951e7462
This commit is contained in:
David Ostrovsky 2014-04-28 09:10:34 +02:00
parent 157f29c09c
commit c092bc24fe
1 changed files with 3 additions and 2 deletions
Show Stats 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 = ""