diff --git a/releng/scripts/do_project_settings.sh b/releng/scripts/do_project_settings.sh index bf7d707c2a2..b4acf5b7760 100755 --- a/releng/scripts/do_project_settings.sh +++ b/releng/scripts/do_project_settings.sh @@ -85,6 +85,12 @@ git ls-files -- \*\*/.project ":!$COREPROJECT/.project" | while read i ; do '-es@compilers.p.not-externalized-att=1@compilers.p.not-externalized-att=2@' \ $d/.settings/org.eclipse.pde.prefs fi + if echo $i | grep 'org.eclipse.tm.terminal.view.ui' > /dev/null; then + # Special case, see comment in org.eclipse.tm.terminal.view.ui/plugin.xml + sed -i \ + '-es@compilers.p.unknown-identifier=0@compilers.p.unknown-identifier=1@' \ + $d/.settings/org.eclipse.pde.prefs + fi else rm -f $d/.settings/org.eclipse.pde*.prefs fi diff --git a/terminal/plugins/org.eclipse.tm.terminal.view.ui/.settings/org.eclipse.pde.prefs b/terminal/plugins/org.eclipse.tm.terminal.view.ui/.settings/org.eclipse.pde.prefs index c51d9ddc384..fe684711223 100644 --- a/terminal/plugins/org.eclipse.tm.terminal.view.ui/.settings/org.eclipse.pde.prefs +++ b/terminal/plugins/org.eclipse.tm.terminal.view.ui/.settings/org.eclipse.pde.prefs @@ -25,7 +25,7 @@ compilers.p.service.component.without.lazyactivation=1 compilers.p.unknown-attribute=1 compilers.p.unknown-class=0 compilers.p.unknown-element=1 -compilers.p.unknown-identifier=0 +compilers.p.unknown-identifier=1 compilers.p.unknown-resource=0 compilers.p.unresolved-ex-points=0 compilers.p.unresolved-import=0 diff --git a/terminal/plugins/org.eclipse.tm.terminal.view.ui/plugin.xml b/terminal/plugins/org.eclipse.tm.terminal.view.ui/plugin.xml index fcaa0db55bf..a00a5fa5614 100644 --- a/terminal/plugins/org.eclipse.tm.terminal.view.ui/plugin.xml +++ b/terminal/plugins/org.eclipse.tm.terminal.view.ui/plugin.xml @@ -44,6 +44,11 @@ +