summary refs log tree commit diff
path: root/src/tools/miri
blob: c1cb24969e84dfaded2769ab5575effc8d4f5c30 (plain)
1
2
3
4
5
6
7
8
9
10
11
tree 1d7b70d245df85f8ec95b12c695e8f28daee7db4
parent 1766d1b84b5ce11307f06c4bebdecd11b3908e64
parent 68d7e4ebb045ecd1d4ff14847d0c2cd577b0bf60
author bors <bors@rust-lang.org> 1565351068 +0000
committer bors <bors@rust-lang.org> 1565351068 +0000

Auto merge of #900 - RalfJung:miri, r=RalfJung

local rustc builds now also need a sysroot built

With the test-miri flag gone, the libstd of local builds isn't good enough for Miri any more.