git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

projects / rust.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: ba801a4) | patch

author	Ralf Jung <post@ralfj.de>
	Sat, 9 May 2020 11:20:34 +0000 (13:20 +0200)
committer	Ralf Jung <post@ralfj.de>
	Sat, 9 May 2020 11:42:07 +0000 (13:42 +0200)
commit	ac65350789d7f6be1b1b4942d6a3e0b54e9bca3c
tree	6df198129a9089d357390b275dfb768c396aa040	tree \| snapshot
parent	ba801a45dbbc9075f4bf13ee4b6b57c311e331ff	commit \| diff

adjust default sysroot when being rustc

Also while at it, refactor how we pass the default Miri flags

src/bin/miri.rs

diff | blob | history

Empowering everyone to build reliable and efficient software.