From 16644a4d9d0bcdd43c009c597dddb89f6a64a482 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Tue, 2 Aug 2022 20:44:29 +0200 Subject: [PATCH] use short options to be POSIX compliant (#902) fix #901 --- src/common/library.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/common/library.ml b/src/common/library.ml index 0daa72636..86bd9871c 100644 --- 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 -> () | _ ->