diff options
Diffstat (limited to 'perl_checker.src/flags.ml')
| -rw-r--r-- | perl_checker.src/flags.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/perl_checker.src/flags.ml b/perl_checker.src/flags.ml index 85f405c..fdedc95 100644 --- a/perl_checker.src/flags.ml +++ b/perl_checker.src/flags.ml @@ -5,4 +5,4 @@ let quiet = ref false let generate_pot = ref false let expand_tabs = ref (Some 8) let check_unused_global_vars = ref false - +let no_cache = ref false |