diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-05-22 08:50:36 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-05-22 08:52:31 +0200 |
commit | e7043eec55085f4101bfb126d8829de6f6086c5a (patch) | |
tree | 041987e27ca681602df21dccfafde0d4b6897500 | |
parent | 2eb7d2e20a2fc58ae91a5110f26e2f9a3699db46 (diff) |
Continuing 4b5af0d6e9 and 69941d4e19 about filename case check on MacOS X.
Thanks to Vadim Zaliva for testing.
-rw-r--r-- | lib/system.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |