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 @@ -276,8 +276,9 @@ struct
276276 | Ok () -> mem_model fs complete_path && path_is_a_dir fs path && not (path_is_a_dir fs complete_path)
277277 | Error (Sys_error s ) ->
278278 (s = (p complete_path) ^ " : No such file or directory" && not (mem_model fs complete_path)) ||
279- (s = (p complete_path) ^ " : Is a directory" && path_is_a_dir fs complete_path) ||
280- (s = (p complete_path) ^ " : Operation not permitted" && path_is_a_dir fs complete_path) ||
279+ (s = (p complete_path) ^ " : Is a directory" && path_is_a_dir fs complete_path) || (* Linux*)
280+ (s = (p complete_path) ^ " : Operation not permitted" && path_is_a_dir fs complete_path) || (* macOS*)
281+ (s = (p complete_path) ^ " : Permission denied" && path_is_a_dir fs complete_path) || (* Win*)
281282 (s = (p complete_path) ^ " : Not a directory" && not (path_is_a_dir fs path))
282283 | Error _ -> false
283284 )
You can’t perform that action at this time.
0 commit comments