Commit 8f1f46b3 authored by erwan's avatar erwan
Browse files

Fix: use Unix.mkdir instead of Sys.mkdir as it exists for a longer time

parent 0649fbce
Pipeline #70652 passed with stages
in 4 minutes and 31 seconds
(* Time-stamp: <modified the 05/07/2021 (at 16:48) by Erwan Jahier> *)
(* Time-stamp: <modified the 05/07/2021 (at 16:54) by Erwan Jahier> *)
(*
Le manager d'argument adapt de celui de lutin, plus joli
N.B. solution un peu batarde : les options sont stockes, comme avant, dans Global,
......@@ -283,7 +283,7 @@ let mkoptab (opt:t) : unit = (
;
mkopt opt ["-dir";"--directory"] ~arg:" <string>"
(Arg.String(function x ->
if not (Sys.file_exists x) then Sys.mkdir x 0o744;
if not (Sys.file_exists x) then Unix.mkdir x 0o744;
global_opt.dir <- x))
["Set the directory into which output files are generated"]
;
......
Supports Markdown
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