From dfcd26748314190d6186dba81b9b1d8d1cfada67 Mon Sep 17 00:00:00 2001 From: Olivier Blin Date: Mon, 10 Mar 2008 19:47:03 +0000 Subject: add support for Basedir ../../.. --- src/config_file.ml | 1 + 1 file changed, 1 insertion(+) 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 *) -- cgit v1.2.1