diff options
| author | Mageia SVN-Git Migration <svn-git-migration@mageia.org> | 2007-04-25 15:16:21 +0000 |
|---|---|---|
| committer | Mageia SVN-Git Migration <svn-git-migration@mageia.org> | 2007-04-25 15:16:21 +0000 |
| commit | be4fff49f0164e606d4b2f76f64d4d108895f236 (patch) | |
| tree | a46bc8c23de0b885f8a2962a9069930b48836fd9 /perl_checker.src/flags.ml | |
| parent | 4746e8e79a5b3cdf3f72400a5a5d6742f6a76a8c (diff) | |
| download | perl_checker-be4fff49f0164e606d4b2f76f64d4d108895f236.tar perl_checker-be4fff49f0164e606d4b2f76f64d4d108895f236.tar.gz perl_checker-be4fff49f0164e606d4b2f76f64d4d108895f236.tar.bz2 perl_checker-be4fff49f0164e606d4b2f76f64d4d108895f236.tar.xz perl_checker-be4fff49f0164e606d4b2f76f64d4d108895f236.zip | |
Rename folder to match history.
This is a Synthesized commit to combine perl-MDK-Common and perl_checker repository
history.
Diffstat (limited to 'perl_checker.src/flags.ml')
| -rw-r--r-- | perl_checker.src/flags.ml | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/perl_checker.src/flags.ml b/perl_checker.src/flags.ml deleted file mode 100644 index 187c140..0000000 --- a/perl_checker.src/flags.ml +++ /dev/null @@ -1,43 +0,0 @@ -open Common -open Types - -let verbose = ref false -let quiet = ref false -let generate_pot = ref false -let expand_tabs = ref (Some 8) -let no_cache = ref false - -let check_unused_global_vars = ref false -let check_white_space = ref true -let check_suggest_simpler = ref true -let check_void = ref true -let check_context = ref true -let check_strange = ref true -let check_traps = ref true -let check_complex_expressions = ref true -let normalized_expressions = ref true -let check_help_perl_checker = ref true -let suggest_functional = ref true -let check_prototypes = ref true -let check_names = ref true -let check_import_export = ref true -let allow_MDK_Common = ref true - -let is_warning_type_set = function - | Warn_white_space -> !check_white_space - | Warn_suggest_simpler -> !check_suggest_simpler - | Warn_unused_global_vars -> !check_unused_global_vars - | Warn_void -> !check_void - | Warn_context -> !check_context - | Warn_strange -> !check_strange - | Warn_traps -> !check_traps - | Warn_complex_expressions -> !check_complex_expressions - | Warn_normalized_expressions -> !normalized_expressions - | Warn_suggest_functional -> !suggest_functional - | Warn_prototypes -> !check_prototypes - | Warn_names -> !check_names - | Warn_import_export -> !check_import_export - | Warn_MDK_Common -> !allow_MDK_Common - | Warn_help_perl_checker -> !check_help_perl_checker - -let are_warning_types_set l = not !quiet && List.for_all is_warning_type_set l |