Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 4cf882ea authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

why3ide: options -L and -I are back

parent b6705ed0
......@@ -46,7 +46,6 @@ let opt_config = ref None
let opt_extra = ref []
let spec = Arg.align [
(*
("-L",
Arg.String (fun s -> includes := s :: !includes),
"<s> add s to loadpath") ;
......@@ -56,7 +55,6 @@ let spec = Arg.align [
("-I",
Arg.String (fun s -> includes := s :: !includes),
" same as -L (obsolete)") ;
*)
"-C", Arg.String (fun s -> opt_config := Some s),
"<file> Read configuration from <file>";
"--config", Arg.String (fun s -> opt_config := Some s),
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment