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 9a642addb..dba0a009a 100755 --- a/doc/advopt.txt +++ b/doc/advopt.txt @@ -55,6 +55,7 @@ Advanced options: --taintMode:on|off turn taint mode on|off --symbolFiles:on|off turn symbol files on|off (experimental) --implicitStatic:on|off turn implicit compile time evaluation on|off + --patterns:on|off turn pattern matching on|off --skipCfg do not read the general configuration file --skipUserCfg do not read the user's configuration file --skipParentCfg do not read the parent dirs' configuration files |