opendev/gerrit
Code Issues Proposed changes

Merge "Require Java 7"

Browse Source
This commit is contained in:
Shawn Pearce
2013-11-18 04:12:35 +00:00
committed by Gerrit Code Review
parent 6d2762a554 10f09d3d52
commit ebc0a5c51a
1 changed files with 1 additions and 1 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([ JRE = '/'.join([
'org.eclipse.jdt.launching.JRE_CONTAINER', 'org.eclipse.jdt.launching.JRE_CONTAINER',
'org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType', 'org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType',
'JavaSE-1.6', 'JavaSE-1.7',
]) ])
ROOT = path.abspath(__file__) ROOT = path.abspath(__file__)