diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/bootstrap/clean.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/bootstrap/clean.rs b/src/bootstrap/clean.rs index 7b8ce12bb4f..3b73dc1c7df 100644 --- a/src/bootstrap/clean.rs +++ b/src/bootstrap/clean.rs @@ -75,6 +75,8 @@ fn rm_rf(path: &Path) { do_op(path, "remove dir", |p| { fs::remove_dir(p).or_else(|e| { // Check for dir not empty on Windows + // FIXME: Once `ErrorKind::DirectoryNotEmpty` is stabilized, + // match on `e.kind()` instead. #[cfg(windows)] if e.raw_os_error() == Some(145) { return Ok(()); |
