|
|
 |
Gimpel Software - Discussion Forum
We invite you to use this forum to communicate with other PC-lint and
FlexeLint users. You do not need to log in to post a message.
WARNING: Your email address will not be encrypted. We recommend that you
obfuscate it as protection from web crawlers.
To receive technical support directly from Gimpel Software, please follow
the guidelines at http://www.gimpel.com/html/support.htm
Gimpel Software - Discussion Forum
| |
| Subject: |
Undocumented option ++d |
| Date: |
September 25, 2007
2:13:31 AM
|
| Name: |
Johan Bezem |
| Email: |
j.bezem@computer.org |
| Message: |
I just stumbled across the option '++d<Name>'
(using version 8.00w)
'+d' locks-in the definition, until an '#undef' is
performed.
'++d' locks-in the name, no matter what.
I couldn't find any documentation on this, neither
in the manual, nor in the most current readme. I
suppose it's an undocumented option.
FWIW,
Johan Bezem
http://www.bezem.de/
|
|
PC-lint Version 9.0
Previous Message
Next Message
