X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=main.ml;h=be96b82e074bafa8996f1ac0436499190cfb2f27;hb=d549a9725e4e1f731a08a147a33d6f3a13c4e648;hp=91df33a2718bb5f6f15a3f29fec73bfc31fa75ff;hpb=4bb506215c662d430a339b7a3d24db10d43de61b;p=vsys.git

diff --git a/main.ml b/main.ml
index 91df33a..be96b82 100644
--- a/main.ml
+++ b/main.ml
@@ -13,7 +13,8 @@ let cur_slice = ref ""
 let cmdspeclist =
   [
     ("-backend",Arg.Set_string(Globals.backend), "Backend directory");
-    ("-frontend",Arg.Tuple[Arg.String(fun s->cur_dir:=s);Arg.String(fun s->cur_slice:=s;input_file_list:=(!cur_dir,!cur_slice)::!input_file_list)], "frontendN,slicenameN")
+    ("-frontend",Arg.Tuple[Arg.String(fun s->cur_dir:=s);Arg.String(fun s->cur_slice:=s;input_file_list:=(!cur_dir,!cur_slice)::!input_file_list)], "frontendN,slicenameN");
+    ("-nochroot",Arg.Set(Globals.nochroot), "Run in non-chroot environment")
   ]
 
 let cont = ref true