diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2002-12-19 20:42:32 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2002-12-19 20:42:32 +0000 |
commit | 91a49a49d0b6a7713e644a79412fd5307d7cb335 (patch) | |
tree | 1b6565ed1b795510b9f29660840eb08ec83b45bc /perl_checker.src/flags.ml | |
parent | 2375b0413acc1f3e6659fc110c13bcc061cd320d (diff) | |
download | perl_checker-91a49a49d0b6a7713e644a79412fd5307d7cb335.tar perl_checker-91a49a49d0b6a7713e644a79412fd5307d7cb335.tar.gz perl_checker-91a49a49d0b6a7713e644a79412fd5307d7cb335.tar.bz2 perl_checker-91a49a49d0b6a7713e644a79412fd5307d7cb335.tar.xz perl_checker-91a49a49d0b6a7713e644a79412fd5307d7cb335.zip |
- perl_checker: many new features including
- checking methods being available
- checking unused functions
- saving parsed file in .perl_checker.cache
- new instruction "Basedir .." in .perl_checker (useful for gi/perl-install/standalone/.perl_checker)
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 |