opendev/gerrit
Code Issues Proposed changes

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

Browse Source 
9a13f852f0 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
(cherry picked from commit c092bc24fe)
This commit is contained in:
David Ostrovsky
2014-04-28 09:10:34 +02:00
committed by Edwin Kempin
parent cf60c8b65f
commit 84abbf6e30
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 = ""