mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-22 06:02:11 +02:00
Code Issues Wiki Activity

Bug 513860 - build: Change id of pthread option

Browse source 
There is a collision in the ids of the pthread options,
"cdt.managedbuild.tool.gnu.c.pthread" is there twice.  Change the ids to
be more in line with the other options.

Change-Id: Ice9d003b82b3740df6420811e90a2b157375c243
Signed-off-by: Simon Marchi <simon.marchi@polymtl.ca>
This commit is contained in:
Simon Marchi 2017-03-18 22:20:53 -04:00 • committed by Gerrit Code Review @ Eclipse.org
parent 1dcc3613f7
commit c59a4c4d7c
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml
View file

@ -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">