mirror of
https://github.com/eclipse-cdt/cdt
synced 2024-10-28 03:59:40 +01:00
815b3f9a92
This reverts commit d01a15f013
and
fixes marker creation too.
Change-Id: I0d391c6df9ac4b17f3e5c8b6e87d5a7991fdc669
22 lines
761 B
XML
22 lines
761 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<?eclipse version="3.4"?>
|
|
<plugin>
|
|
<extension-point id="detectionParticipant" name="%extension-point.name" schema="schema/participant.exsd"/>
|
|
<extension
|
|
id="CompileCommandsJsonParserMarker"
|
|
name="%CompileCommandsJsonParserMarker.name"
|
|
point="org.eclipse.core.resources.markers">
|
|
<persistent
|
|
value="false">
|
|
</persistent>
|
|
<super
|
|
type="org.eclipse.core.resources.problemmarker">
|
|
</super>
|
|
</extension>
|
|
<extension
|
|
id="CompilerBuiltinsDetectorMarker"
|
|
name="%CompilerBuiltinsDetectorMarker.name"
|
|
point="org.eclipse.core.resources.markers">
|
|
<super type="org.eclipse.cdt.jsoncdb.core.CompileCommandsJsonParserMarker"/>
|
|
</extension>
|
|
</plugin>
|