From 2a953f2a05308ee417f63dceb29e027c527d4e17 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 22 Jul 2005 11:46:00 +0000 Subject: [PATCH] some prerr to better understand the mkdir -p error --- helm/matita/matitaMisc.ml | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml index c0277ea46..99fea1a32 100644 --- a/helm/matita/matitaMisc.ml +++ b/helm/matita/matitaMisc.ml @@ -177,10 +177,21 @@ let singleton f = let mkdir d = let errmsg = sprintf "Unable to create directory \"%s\"" d in try - (match Unix.system ("mkdir -p " ^ d) with + let dir = "mkdir -p " ^ d in + (match Unix.system dir with | Unix.WEXITED 0 -> () - | _ -> failwith errmsg) - with Unix.Unix_error _ -> failwith errmsg + | Unix.WEXITED n -> + MatitaLog.error ("'mkdir -p " ^ dir ^ "' failed with "^string_of_int n); + failwith errmsg + | Unix.WSIGNALED s + | Unix.WSTOPPED s -> + MatitaLog.error + ("'mkdir -p " ^ dir ^ "' signaled with " ^ string_of_int s); + failwith errmsg) + with Unix.Unix_error _ as exc -> + MatitaLog.error + ("Unix error in makigin dir " ^ (MatitaExcPp.to_string exc)); + failwith errmsg let get_proof_status status = match status.proof_status with -- 2.39.2