X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=globals.ml;fp=globals.ml;h=4e2d332fa92d73f0f4515cf88785af23927b0311;hb=4ceb13b255ee9068bc070551b1abe1b293fdecc1;hp=3ea4a32cf1ea3bcc61d24df0b1275bc73e6e98fb;hpb=02c48a292844be161535d6aeb8c96b018d4b0ac9;p=vsys.git

diff --git a/globals.ml b/globals.ml
index 3ea4a32..4e2d332 100644
--- a/globals.ml
+++ b/globals.ml
@@ -3,6 +3,7 @@ let backend = ref ""
 let debug = ref true
 let vsys_version = "0.5"
 let nochroot = ref false
+let conffile = ref ""
 
 type result = Success | Failed