diff --git a/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml b/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml index 09337258271..4279d1315e8 100644 --- a/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml +++ b/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml @@ -36,8 +36,7 @@ Contributors: - + variableList="LIBRARY_PATH" /> - + valueType="string" /> + valueType="boolean" /> + id="gnu.cpp.link.option.soname" /> + valueType="boolean" /> + id="gnu.lib.category.general" />