From 8d37a2306e4a68ceeba8e15099e9672ba98c96b8 Mon Sep 17 00:00:00 2001 From: Fabrice Le Fessant Date: Thu, 25 Oct 2012 19:51:22 +0200 Subject: [PATCH] ocp-build: fix previous commit --- tools/ocp-build/buildMisc.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/ocp-build/buildMisc.ml b/tools/ocp-build/buildMisc.ml index 41864d1..8dee58a 100644 --- a/tools/ocp-build/buildMisc.ml +++ b/tools/ocp-build/buildMisc.ml @@ -286,9 +286,9 @@ let rec safe_mkdir filename = | _ -> Unix.mkdir filename 0o755 -let rename f1 f2 = +let rename fa1 fa2 = let target_of_rename = fa2 in - if BuildMisc.os_type = Win32.WINDOWS && + if Win32.os_type = Win32.WINDOWS && Sys.file_exists fa2 then begin try (* on Windows, Sys.rename will fail if target exists. This breaks atomicity of rename, so