diff options
Diffstat (limited to 'build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml')
-rw-r--r-- | build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml b/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml index 54bbb209765..d24ee939936 100644 --- a/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml +++ b/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml @@ -1845,7 +1845,7 @@ category="gnu.cpp.compiler.category.other" command="-pthread" defaultValue="false" - id="cdt.managedbuild.tool.gnu.cpp.pthread" + id="gnu.cpp.compiler.option.pthread" name="%Option.Pthread" tip="%Option.PthreadCompilerTip" valueType="boolean"> @@ -1858,7 +1858,7 @@ category="gnu.c.compiler.category.other" command="-pthread" defaultValue="false" - id="cdt.managedbuild.tool.gnu.c.pthread" + id="gnu.c.compiler.option.pthread" name="%Option.Pthread" tip="%Option.PthreadCompilerTip" valueType="boolean"> @@ -1892,7 +1892,7 @@ category="gnu.cpp.link.category.options" command="-pthread" defaultValue="false" - id="cdt.managedbuild.tool.gnu.c.pthread" + id="gnu.cpp.link.option.pthread" name="%Option.Pthread" tip="%Option.PthreadLinkerTip" valueType="boolean"> |