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: 05b7e61) | patch

author	Ralf Jung <post@ralfj.de>
	Sun, 9 Jun 2019 12:31:05 +0000 (14:31 +0200)
committer	Ralf Jung <post@ralfj.de>
	Sun, 9 Jun 2019 12:31:05 +0000 (14:31 +0200)
commit	619f29646379dd9d3001804f4d73993f7099ab91
tree	d9eae7caada3d3cd91f5971664bb71373d395ce9	tree \| snapshot
parent	05b7e61977a0f7cc1b4bddab0275b5cc7deae660	commit \| diff

explain why we always set a sysroot; make sure we error if both MIRI_SYSROOT and --sysroot are set

src/bin/miri.rs

diff | blob | history

Empowering everyone to build reliable and efficient software.