X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=globals.ml;h=3ea4a32cf1ea3bcc61d24df0b1275bc73e6e98fb;hb=d549a9725e4e1f731a08a147a33d6f3a13c4e648;hp=0afb155ddca0118943d9bd3a77fc89378084ecd6;hpb=4bb506215c662d430a339b7a3d24db10d43de61b;p=vsys.git diff --git a/globals.ml b/globals.ml index 0afb155..3ea4a32 100644 --- a/globals.ml +++ b/globals.ml @@ -2,6 +2,7 @@ let backend = ref "" let debug = ref true let vsys_version = "0.5" +let nochroot = ref false type result = Success | Failed