Skip to content

Commit

Permalink
bootstrap/format: remove unnecessary paths.push
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Sep 1, 2023
1 parent 1accf06 commit b8e0e79
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions src/bootstrap/format.rs
Original file line number Diff line number Diff line change
Expand Up @@ -127,8 +127,6 @@ pub fn format(build: &Builder<'_>, check: bool, paths: &[PathBuf]) {
Err(_) => false,
};

let mut paths = paths.to_vec();

if git_available {
let in_working_tree = match build
.config
Expand Down Expand Up @@ -201,8 +199,6 @@ pub fn format(build: &Builder<'_>, check: bool, paths: &[PathBuf]) {
"WARN: Something went wrong when running git commands:\n{err}\n\
Falling back to formatting all files."
);
// Something went wrong when getting the version. Just format all the files.
paths.push(".".into());
}
}
}
Expand Down

0 comments on commit b8e0e79

Please sign in to comment.