]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f3644ca 72117ab)
Rollup merge of #107086 - clubby789:bootstrap-lock-pid-linux, r=albertlarsan68
authorMatthias Krüger <matthias.krueger@famsik.de>
Thu, 26 Jan 2023 05:15:25 +0000 (06:15 +0100)
committerGitHub <noreply@github.com>
Thu, 26 Jan 2023 05:15:25 +0000 (06:15 +0100)
Print PID holding bootstrap build lock on Linux

Partially address #107077

Parse `/proc/locks` to find the PID of the process which created the build directory lock


Trivial merge
Empowering everyone to build reliable and efficient software.