diff options
| author | Mickael Istria | 2019-06-20 11:25:06 +0000 |
|---|---|---|
| committer | Mickael Istria | 2019-06-20 12:08:12 +0000 |
| commit | 7757dfc66e70003c0d3b546af66aba962b4fa44e (patch) | |
| tree | 89a4eddcb06f5f2b65c953d57a45e6a2995770b0 /org.eclipse.debug.core | |
| parent | e82ea939cc04c50f9291734add69d038c867f64a (diff) | |
| download | eclipse.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.core')
| -rw-r--r-- | org.eclipse.debug.core/.settings/org.eclipse.pde.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.debug.core/.settings/org.eclipse.pde.prefs b/org.eclipse.debug.core/.settings/org.eclipse.pde.prefs index 56e42fa48..469adc912 100644 --- a/org.eclipse.debug.core/.settings/org.eclipse.pde.prefs +++ b/org.eclipse.debug.core/.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
|