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(());