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 | 512f071a3380e3175e5fa8b5b2ff17e67deef4cb (patch) | |
| tree | 9c358cc624f556751e9d937ebff664a9cb67456f | |
| parent | 6a60f26cecd9b55bfffdf69c057e466b46e2bb9b (diff) | |
| download | perl_checker-512f071a3380e3175e5fa8b5b2ff17e67deef4cb.tar perl_checker-512f071a3380e3175e5fa8b5b2ff17e67deef4cb.tar.gz perl_checker-512f071a3380e3175e5fa8b5b2ff17e67deef4cb.tar.bz2 perl_checker-512f071a3380e3175e5fa8b5b2ff17e67deef4cb.tar.xz perl_checker-512f071a3380e3175e5fa8b5b2ff17e67deef4cb.zip | |
add support for Basedir ../../..
| -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 *) |