diff options
author | Doug Schaefer | 2013-07-25 19:25:30 +0000 |
---|---|---|
committer | Doug Schaefer | 2014-04-10 20:31:28 +0000 |
commit | 48298d3923aa7968dd2f627214fa598a16a9d4ca (patch) | |
tree | c505b8f322cd057b4fd36bc7a1522a0ee7c582bb | |
parent | 6bbeb75bc0dc4c88f41f02dbb290b6888ef37805 (diff) | |
download | org.eclipse.cdt-48298d3923aa7968dd2f627214fa598a16a9d4ca.tar.gz org.eclipse.cdt-48298d3923aa7968dd2f627214fa598a16a9d4ca.tar.xz org.eclipse.cdt-48298d3923aa7968dd2f627214fa598a16a9d4ca.zip |
JI:449069 Add filtering to the PDOM generator
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.
-rw-r--r-- | core/org.eclipse.cdt.core/plugin.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/core/org.eclipse.cdt.core/plugin.xml b/core/org.eclipse.cdt.core/plugin.xml index b8c8224bb24..b93ec84dd46 100644 --- a/core/org.eclipse.cdt.core/plugin.xml +++ b/core/org.eclipse.cdt.core/plugin.xml @@ -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's index exporter" + id="org.eclipse.cdt.core.exportIndexFileInfoMatcher" + name="Export Index File Info Matcher" + ordering="first"> + </filterMatcher> + </extension> </plugin> |