diff options
| author | Olivier Blin <oblin@mandriva.com> | 2008-03-10 19:47:03 +0000 |
|---|---|---|
| committer | Olivier Blin <oblin@mandriva.com> | 2008-03-10 19:47:03 +0000 |
| commit | dfcd26748314190d6186dba81b9b1d8d1cfada67 (patch) | |
| tree | 9c358cc624f556751e9d937ebff664a9cb67456f /src/config_file.ml | |
| parent | 9a4cc25764811e40b4f4f2baee47ceea3382ed7e (diff) | |
| download | perl_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.ml | 1 |
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 *) |