From e7043eec55085f4101bfb126d8829de6f6086c5a Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Fri, 22 May 2015 08:50:36 +0200 Subject: Continuing 4b5af0d6e9 and 69941d4e19 about filename case check on MacOS X. Thanks to Vadim Zaliva for testing. --- lib/system.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/system.ml') diff --git a/lib/system.ml b/lib/system.ml index 1a67120b6..27e21204c 100644 --- a/lib/system.ml +++ b/lib/system.ml @@ -60,8 +60,8 @@ let file_exists_respecting_case f = let rec aux f = let bf = Filename.basename f in let df = Filename.dirname f in - String.equal df "." || String.equal df "/" || - aux df && Array.exists (String.equal bf) (Sys.readdir df) + (String.equal df "." || String.equal df "/" || aux df) + && Array.exists (String.equal bf) (Sys.readdir df) in aux f else Sys.file_exists f -- cgit v1.2.3