use short options to be POSIX compliant (#902)

fix #901
Deducteam · Aug 2, 2022 · 16644a4 · 16644a4
1 parent 3821041
commit 16644a4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/common/library.ml b/src/common/library.ml
@@ -146,7 +146,8 @@ let set_lib_root : string option -> unit = fun dir ->
           (* [Sys_error] is raised if [pth] does not exist. *)
           (* We try to create [pth]. *)
           let target = Filename.quote pth in
-          let cmd = String.concat " " ["mkdir"; "--parent"; target] in
+          let cmd = String.concat " " ["mkdir"; "-p"; target] in
+          (* Use short option to be POSIX compliant. *)
           match Sys.command cmd with
           | 0 -> ()
           | _ ->