mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-03-23 21:31:54 +08:00
options.texi: Move the Negative option.
2006-05-16 H.J. Lu <hongjiu.lu@intel.com> * doc/options.texi: Move the Negative option. From-SVN: r113827
This commit is contained in:
parent
faaf14368b
commit
48b06e946e
@ -1,3 +1,7 @@
|
||||
2006-05-16 H.J. Lu <hongjiu.lu@intel.com>
|
||||
|
||||
* doc/options.texi: Move the Negative option.
|
||||
|
||||
2006-05-16 Richard Guenther <rguenther@suse.de>
|
||||
|
||||
PR tree-optimization/22303
|
||||
|
@ -100,6 +100,12 @@ The option does not have a ``no-'' form. All options beginning with
|
||||
``f'', ``W'' or ``m'' are assumed to have a ``no-'' form unless this
|
||||
property is used.
|
||||
|
||||
@item Negative(@var{othername})
|
||||
The option will turn off another option @var{othername}, which is the
|
||||
the option name with the leading ``-'' removed. This chain action will
|
||||
propagate through the @code{Negative} property of the option to be
|
||||
turned off.
|
||||
|
||||
@item Joined
|
||||
@itemx Separate
|
||||
The option takes a mandatory argument. @code{Joined} indicates
|
||||
@ -135,13 +141,6 @@ variable that is nonzero when the option is enabled. The options
|
||||
parser will set the variable to 1 when the positive form of the
|
||||
option is used and 0 when the ``no-'' form is used.
|
||||
|
||||
@item
|
||||
If the option uses the @code{Negative} property, @var{var} is the
|
||||
the name of an option, with the leading ``-'' removed, which will be
|
||||
turned off when this option is turned on. This chain action will
|
||||
propagate through the @code{Negative} property of the option to be
|
||||
turned off.
|
||||
|
||||
@item
|
||||
If the option takes an argument and has the @code{UInteger} property,
|
||||
@var{var} is an integer variable that stores the value of the argument.
|
||||
|
Loading…
x
Reference in New Issue
Block a user