فهرست منبع

don't use String.lowercase on windows (updated extC now ensure correct casing)

Nicolas Cannasse 13 سال پیش
والد
کامیت
5f4dc54227
1فایلهای تغییر یافته به همراه1 افزوده شده و 3 حذف شده
  1. 1 3
      common.ml

+ 1 - 3
common.ml

@@ -232,9 +232,7 @@ let find_file ctx f =
 
 
 let get_full_path f = try Extc.get_full_path f with _ -> f
 let get_full_path f = try Extc.get_full_path f with _ -> f
 
 
-let unique_full_path =
-	if Sys.os_type <> "Win32" && Sys.os_type <> "Cygwin" then get_full_path else
-	(fun f -> String.lowercase (String.concat "/" (ExtString.String.nsplit (get_full_path f) "\\")))
+let unique_full_path = get_full_path
 
 
 (* ------------------------- TIMERS ----------------------------- *)
 (* ------------------------- TIMERS ----------------------------- *)