diff options
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) |