]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 81eb35f 5f77ce0)
Rollup merge of #102226 - RalfJung:miri-sysroot-build, r=oli-obk
authorMatthias Krüger <matthias.krueger@famsik.de>
Sat, 24 Sep 2022 12:29:56 +0000 (14:29 +0200)
committerGitHub <noreply@github.com>
Sat, 24 Sep 2022 12:29:56 +0000 (14:29 +0200)
bootstrap/miri: switch to non-deprecated env var for setting the sysroot folder

r? `@oli-obk`


Trivial merge
Empowering everyone to build reliable and efficient software.