diff options
| author | Philipp Krones <hello@philkrones.com> | 2025-04-22 16:10:59 +0200 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2025-04-22 18:24:43 +0200 |
| commit | ff428d91c2b690b8dbd8cc1e48274870c24fe1e2 (patch) | |
| tree | 496897def77d0f71b6db9713a16c2ea4f5886f23 /rustc_tools_util | |
| parent | ed892e72dd05c6dbbd425343f84d1c1d348a898d (diff) | |
| download | rust-ff428d91c2b690b8dbd8cc1e48274870c24fe1e2.tar.gz rust-ff428d91c2b690b8dbd8cc1e48274870c24fe1e2.zip | |
Merge commit '0621446356e20fd2ead13a6763bb936c95eb0cfa' into clippy-subtree-update
Diffstat (limited to 'rustc_tools_util')
| -rw-r--r-- | rustc_tools_util/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rustc_tools_util/src/lib.rs b/rustc_tools_util/src/lib.rs index 423154a69fa..b45edf23455 100644 --- a/rustc_tools_util/src/lib.rs +++ b/rustc_tools_util/src/lib.rs @@ -121,7 +121,7 @@ fn get_output(cmd: &str, args: &[&str]) -> Option<String> { pub fn rerun_if_git_changes() -> Option<()> { // Make sure we get rerun when the git commit changes. // We want to watch two files: HEAD, which tracks which branch we are on, - // and the file for that branch that tracks which commit is is on. + // and the file for that branch that tracks which commit is checked out. // First, find the `HEAD` file. This should work even with worktrees. let git_head_file = PathBuf::from(get_output("git", &["rev-parse", "--git-path", "HEAD"])?); |