]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1949 - RalfJung:miri-lib-src, r=oli-obk
authorbors <bors@rust-lang.org>
Thu, 23 Dec 2021 15:54:25 +0000 (15:54 +0000)
committerbors <bors@rust-lang.org>
Thu, 23 Dec 2021 15:54:25 +0000 (15:54 +0000)
commit2170d7a7c9ee7c7ee943acf6d7db928b9587cb39
tree0fc24f18f87b6f37c7f4eacf15ebe56576a53f1b
parent6f3061b18e960847b2db5b2b8216bad7349ef60e
parente51810df2c11e2a58de77d4b304f78d93851fca9
Auto merge of #1949 - RalfJung:miri-lib-src, r=oli-obk

add and document MIRI_LIB_SRC env var to set the source from which Miri builds the standard library

This is just an alias of `XARGO_RUST_SRC`, but avoids exposing how exactly we use xargo.