diff options
Diffstat (limited to 'doc/advopt.txt')
| -rwxr-xr-x | doc/advopt.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/advopt.txt b/doc/advopt.txt index db8e44a8b..fd569da6d 100755 --- a/doc/advopt.txt +++ b/doc/advopt.txt @@ -40,6 +40,7 @@ Advanced options: (Nimrod, mangled) identifier pairs --lineDir:on|off generation of #line directive on|off --threadanalysis:on|off turn thread analysis on|off + --taintMode:on|off turn taint mode on|off --skipCfg do not read the general configuration file --skipProjCfg do not read the project's configuration file --gc:refc|boehm|none use Nimrod's native GC|Boehm GC|no GC |