diff --git a/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml b/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml index afaebeb8ce1..b5f8790ec44 100644 --- a/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml +++ b/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml @@ -1735,6 +1735,12 @@ osList="win32" archList="all"> + + @@ -1780,12 +1786,7 @@ value="org.eclipse.cdt.build.core.buildArtefactType.staticLib"/> - - - +