File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -288,8 +288,9 @@ struct
288288 | Ok () -> mem_model fs complete_path && path_is_a_dir fs path && not (path_is_a_dir fs complete_path)
289289 | Error (Sys_error s ) ->
290290 (s = (p complete_path) ^ " : No such file or directory" && not (mem_model fs complete_path)) ||
291- (s = (p complete_path) ^ " : Is a directory" && path_is_a_dir fs complete_path) ||
292- (s = (p complete_path) ^ " : Operation not permitted" && path_is_a_dir fs complete_path) ||
291+ (s = (p complete_path) ^ " : Is a directory" && path_is_a_dir fs complete_path) || (* Linux*)
292+ (s = (p complete_path) ^ " : Operation not permitted" && path_is_a_dir fs complete_path) || (* macOS*)
293+ (s = (p complete_path) ^ " : Permission denied" && path_is_a_dir fs complete_path) || (* Win*)
293294 (s = (p complete_path) ^ " : Not a directory" && not (path_is_a_dir fs path))
294295 | Error _ -> false
295296 )
You can’t perform that action at this time.
0 commit comments