mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-23 00:45:28 +02:00
Code Issues Wiki Activity

JI:449069 Add filtering to the PDOM generator

Browse source 
Adds a -exclude option to list directories and files that are to be
excluded from the pre-built PDOM so we don't get header files that
users don't get suggest optional headers.
This commit is contained in:
Doug Schaefer 2013-07-25 15:25:30 -04:00
parent 6bbeb75bc0
commit 48298d3923
1 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
core/org.eclipse.cdt.core/plugin.xml
View file

@ -835,5 +835,16 @@
name="%ReferencedProjectsLanguageSettingsProvider.name">
</provider>
</extension>
<extension
point="org.eclipse.core.resources.filterMatchers">
<filterMatcher
argumentType="string"
class="org.eclipse.cdt.core.index.export.ExportIndexFileInfoMatcher"
description="FIle Info Matcher used by CDT&apos;s index exporter"
id="org.eclipse.cdt.core.exportIndexFileInfoMatcher"
name="Export Index File Info Matcher"
ordering="first">
</filterMatcher>
</extension>
</plugin>