summaryrefslogtreecommitdiffstats
path: root/src/config_file.ml
diff options
context:
space:
mode:
authorOlivier Blin <oblin@mandriva.com>2008-03-10 19:47:03 +0000
committerOlivier Blin <oblin@mandriva.com>2008-03-10 19:47:03 +0000
commitdfcd26748314190d6186dba81b9b1d8d1cfada67 (patch)
tree9c358cc624f556751e9d937ebff664a9cb67456f /src/config_file.ml
parent9a4cc25764811e40b4f4f2baee47ceea3382ed7e (diff)
downloadperl_checker-dfcd26748314190d6186dba81b9b1d8d1cfada67.tar
perl_checker-dfcd26748314190d6186dba81b9b1d8d1cfada67.tar.gz
perl_checker-dfcd26748314190d6186dba81b9b1d8d1cfada67.tar.bz2
perl_checker-dfcd26748314190d6186dba81b9b1d8d1cfada67.tar.xz
perl_checker-dfcd26748314190d6186dba81b9b1d8d1cfada67.zip
add support for Basedir ../../..
Diffstat (limited to 'src/config_file.ml')
-rw-r--r--src/config_file.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/config_file.ml b/src/config_file.ml
index efb6fb3..69c47db 100644
--- a/src/config_file.ml
+++ b/src/config_file.ml
@@ -21,6 +21,7 @@ let read dir =
match words line with
| [ "Basedir"; ".." ] -> { basedir = Some 1 }
| [ "Basedir"; "../.." ] -> { basedir = Some 2 }
+ | [ "Basedir"; "../../.." ] -> { basedir = Some 3 }
| [] -> config (* blank line *)
| [ "Ignore"; pkg ]
| [ pkg ] (* the deprecated form *)