Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMickael Istria2019-06-20 11:25:06 +0000
committerMickael Istria2019-06-20 12:08:12 +0000
commit7757dfc66e70003c0d3b546af66aba962b4fa44e (patch)
tree89a4eddcb06f5f2b65c953d57a45e6a2995770b0 /org.eclipse.debug.ui
parente82ea939cc04c50f9291734add69d038c867f64a (diff)
downloadeclipse.platform.debug-7757dfc66e70003c0d3b546af66aba962b4fa44e.tar.gz
eclipse.platform.debug-7757dfc66e70003c0d3b546af66aba962b4fa44e.tar.xz
eclipse.platform.debug-7757dfc66e70003c0d3b546af66aba962b4fa44e.zip
Bug 474156 - Run API Tools builder in the Gerrit verification build
Change-Id: I3eae25388f28246b1bdd6adf7accae56e1f829ef Signed-off-by: Mickael Istria <mistria@redhat.com>
Diffstat (limited to 'org.eclipse.debug.ui')
-rw-r--r--org.eclipse.debug.ui/.settings/org.eclipse.pde.prefs2
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/.settings/org.eclipse.pde.prefs b/org.eclipse.debug.ui/.settings/org.eclipse.pde.prefs
index 56e42fa48..469adc912 100644
--- a/org.eclipse.debug.ui/.settings/org.eclipse.pde.prefs
+++ b/org.eclipse.debug.ui/.settings/org.eclipse.pde.prefs
@@ -26,7 +26,7 @@ compilers.p.unknown-class=1
compilers.p.unknown-element=2
compilers.p.unknown-identifier=1
compilers.p.unknown-resource=0
-compilers.p.unresolved-ex-points=0
+compilers.p.unresolved-ex-points=1
compilers.p.unresolved-import=0
compilers.p.unused-element-or-attribute=1
compilers.s.create-docs=false

Back to the top