opendev/gerrit
Code Issues Proposed changes

Build with Java 8

Browse Source 
Change-Id: I06f811fc46a606b719582c0724e8d0c89e823b37
This commit is contained in:
David Ostrovsky
2014-06-15 00:33:40 +02:00
committed by David Pursehouse
parent 82be8186fe
commit 3931c16bdb
29 changed files with 39 additions and 76 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/eclipse/project.py
View File

@@ -28,7 +28,7 @@ GWT = ['//gerrit-gwtui:ui_module']
JRE = '/'.join([
'org.eclipse.jdt.launching.JRE_CONTAINER',
'org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType',
'JavaSE-1.7',
'JavaSE-1.8',
])
ROOT = path.abspath(__file__)