diff options
| author | Mikhail Glushenkov <foldr@codedgers.com> | 2010-07-19 03:16:25 +0000 |
|---|---|---|
| committer | Mikhail Glushenkov <foldr@codedgers.com> | 2010-07-19 03:16:25 +0000 |
| commit | fc97aeb4e634a0b7b3b93382a524202d3739f8db (patch) | |
| tree | 7fb65dc2dfa0fdbfbf6f70b954d32c6f4ac79fb4 /tools/llvmc | |
| parent | 9ece46d172d89aa4ea6c04b8e55044bc9fdf9921 (diff) | |
| download | llvm-fc97aeb4e634a0b7b3b93382a524202d3739f8db.tar.gz llvm-fc97aeb4e634a0b7b3b93382a524202d3739f8db.tar.bz2 llvm-fc97aeb4e634a0b7b3b93382a524202d3739f8db.tar.xz | |
llvmc: Add a new option type (switch_list).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@108673 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'tools/llvmc')
| -rw-r--r-- | tools/llvmc/doc/LLVMC-Reference.rst | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/tools/llvmc/doc/LLVMC-Reference.rst b/tools/llvmc/doc/LLVMC-Reference.rst index ca8500d615..d160e758ea 100644 --- a/tools/llvmc/doc/LLVMC-Reference.rst +++ b/tools/llvmc/doc/LLVMC-Reference.rst @@ -299,7 +299,7 @@ separate option groups syntactically. * Possible option types: - ``switch_option`` - a simple boolean switch without arguments, for example - ``-O2`` or ``-time``. At most one occurrence is allowed. + ``-O2`` or ``-time``. At most one occurrence is allowed by default. - ``parameter_option`` - option that takes one argument, for example ``-std=c99``. It is also allowed to use spaces instead of the equality @@ -321,6 +321,13 @@ separate option groups syntactically. option types, aliases are not allowed to have any properties besides the aliased option name. Usage example: ``(alias_option "preprocess", "E")`` + - ``switch_list_option`` - like ``switch_option`` with the ``zero_or_more`` + property, but remembers how many times the switch was turned on. Useful + mostly for forwarding. Example: when ``-foo`` is a switch option (with the + ``zero_or_more`` property), the command ``driver -foo -foo`` is forwarded + as ``some-tool -foo``, but when ``-foo`` is a switch list, the same command + is forwarded as ``some-tool -foo -foo``. + * Possible option properties: |