X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=main.ml;h=58e13b6a0380eac4448c799904fca22e26fdb9a2;hb=29c254469667d325b86ec3fa438581ab34f3244d;hp=bbc9b06cbce7e2c72b00f249fc845c3d19a900cd;hpb=46e48c60e9d524bf71631561e193c443613a2bb5;p=vsys.git

diff --git a/main.ml b/main.ml
index bbc9b06..58e13b6 100644
--- a/main.ml
+++ b/main.ml
@@ -17,7 +17,8 @@ let cmdspeclist =
     ("-conffile",Arg.Set_string(Globals.conffile), "Config file");
     ("-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");
-    ("-nochroot",Arg.Set(Globals.nochroot), "Run in non-chroot environment")
+    ("-nochroot",Arg.Set(Globals.nochroot), "Run in non-chroot environment");
+    ("-failsafe",Arg.Set(Globals.failsafe), "Never crash. Be stupid, but never crash. Use at your own risk.");
   ]
 
 let cont = ref true