Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Support deleting symlinks in Lwt_io.with_temp_dir on Windows
If a Windows symlink points to a directory, then rmdir is the correct function to call. If it points to a file, then unlink is the correct function. When pointing to a file, the symlink can also have the read-only attribute, which makes it subject of the little chmod dance.
- Loading branch information