mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-29 19:45:01 +02:00
fix for bug 235150
This commit is contained in:
parent
305b829588
commit
18bdfaa18e
1 changed files with 2 additions and 2 deletions
|
@ -973,14 +973,14 @@
|
||||||
<enumeratedOptionValue
|
<enumeratedOptionValue
|
||||||
name="%Option.ignprag.disjoint"
|
name="%Option.ignprag.disjoint"
|
||||||
isDefault="false"
|
isDefault="false"
|
||||||
command="-qignprag=Disjoint"
|
command="-qignprag=disjoint"
|
||||||
id="xlc.c.input.ignprag.disjoint">
|
id="xlc.c.input.ignprag.disjoint">
|
||||||
</enumeratedOptionValue>
|
</enumeratedOptionValue>
|
||||||
<enumeratedOptionValue
|
<enumeratedOptionValue
|
||||||
name="%Option.ignprag.isolated"
|
name="%Option.ignprag.isolated"
|
||||||
isDefault="false"
|
isDefault="false"
|
||||||
command="-qignprag=isolated"
|
command="-qignprag=isolated"
|
||||||
id="xlc.c.input.ignprag.disjoint">
|
id="xlc.c.input.ignprag.isolated">
|
||||||
</enumeratedOptionValue>
|
</enumeratedOptionValue>
|
||||||
<enumeratedOptionValue
|
<enumeratedOptionValue
|
||||||
name="%Option.ignprag.all"
|
name="%Option.ignprag.all"
|
||||||
|
|
Loading…
Add table
Reference in a new issue