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/config_file.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/config_file.ml')
-rw-r--r-- | perl_checker.src/config_file.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/perl_checker.src/config_file.ml b/perl_checker.src/config_file.ml index f4453f5..a5ee94f 100644 --- a/perl_checker.src/config_file.ml +++ b/perl_checker.src/config_file.ml @@ -29,10 +29,12 @@ let read dir = ) default fh in Hashtbl.add config_cache dir config ; + if !Flags.verbose then print_endline_flush ("reading config file " ^ file_name); config with Sys_error _ -> default + let rec read_any dir depth = if depth = 0 then () else let _ = read dir in - read_any (dir ^ "/..") (depth - 1) + read_any (updir dir 1) (depth - 1) |