Skip to content
Snippets Groups Projects
Commit 01a43254 authored by erwan's avatar erwan
Browse files

Fix: always exit before launching any simulation when -gld is used

parent 33c1385c
No related branches found
No related tags found
No related merge requests found
(* Time-stamp: <modified the 18/03/2019 (at 09:21) by Erwan Jahier> *)
(* Time-stamp: <modified the 20/03/2019 (at 12:09) by Erwan Jahier> *)
(* XXX Je pourrais utiliser Lwt pour rendre step non-bloquant, ce qui
permettrait d'accelerer la simu sur les machines qui ont plusieurs
......@@ -170,7 +170,8 @@ let (make : string array -> t) =
if args.gen_lutin then (
let fn = (Filename.remove_extension args.topo) ^ ".lut" in
if Sys.file_exists fn then (
Printf.eprintf "%s already exists.\n" fn; flush stderr
Printf.eprintf "%s already exists: rename it to proceed.\n" fn;
flush stderr; exit 1
) else
let oc = open_out fn in
Printf.fprintf oc "%s" (GenLutin.f pl);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment