Commit 7e3d0bd0 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Use atomic "mkdir -p" to create the directory "output".

parent 948e952f
...@@ -72,7 +72,7 @@ let _ = ...@@ -72,7 +72,7 @@ let _ =
let debugdir = Filename.concat dirname "output" in let debugdir = Filename.concat dirname "output" in
let debugdirBase = Filename.concat debugdir (String.capitalize basename) in let debugdirBase = Filename.concat debugdir (String.capitalize basename) in
(* FAILURE ON WINDOWS *) (* FAILURE ON WINDOWS *)
let cmd = Printf.sprintf "test -d %s || mkdir %s" debugdir debugdir in let cmd = Printf.sprintf "mkdir -p %s" debugdir in
begin try ignore (Sys.command cmd) begin try ignore (Sys.command cmd)
with _ -> Printf.printf "Could not create debug directory\n" end; with _ -> Printf.printf "Could not create debug directory\n" end;
......
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