diff options
| author | Jerome Lanneluc | 2006-03-01 10:02:36 +0000 |
|---|---|---|
| committer | Jerome Lanneluc | 2006-03-01 10:02:36 +0000 |
| commit | de2e2c2a1d691034a4b8e673f95537850b10ba73 (patch) | |
| tree | 39d5a9aba23cb19f76fbb57b9edcaac66bf4c99b /org.eclipse.jdt.apt.core/plugin.xml | |
| parent | 4c711b6bc83a679afd304ecb399af26ac71aded9 (diff) | |
| download | eclipse.jdt.core-de2e2c2a1d691034a4b8e673f95537850b10ba73.tar.gz eclipse.jdt.core-de2e2c2a1d691034a4b8e673f95537850b10ba73.tar.xz eclipse.jdt.core-de2e2c2a1d691034a4b8e673f95537850b10ba73.zip | |
HEAD - 128219
Diffstat (limited to 'org.eclipse.jdt.apt.core/plugin.xml')
| -rw-r--r-- | org.eclipse.jdt.apt.core/plugin.xml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/org.eclipse.jdt.apt.core/plugin.xml b/org.eclipse.jdt.apt.core/plugin.xml index aa70e4c1ce..2ce8963015 100644 --- a/org.eclipse.jdt.apt.core/plugin.xml +++ b/org.eclipse.jdt.apt.core/plugin.xml @@ -20,9 +20,11 @@ name="%annotationProcessingName" point="org.eclipse.jdt.core.compilationParticipant"> <compilationParticipant - id="APT" class="org.eclipse.jdt.apt.core.internal.AptCompilationParticipant" - requiredSourceLevel="1.5"/> + id="APT" + requiredSourceLevel="1.5"> + <managedMarker markerType="org.eclipse.jdt.apt.core.compile.problem"/> + </compilationParticipant> </extension> <!-- =================================================================================== --> |