about summary refs log tree commit diff
path: root/src/tools/miri
blob: 69268fb75fdb452296caa9bc4aaeff1674279de2 (plain)
1
2
3
4
5
6
7
8
9
10
11
tree e2227b9a46ccbc503492ab0ca82b159f5e3fa385
parent 2be0db4c0baabfb400ec3f502c908ba5a30f2b25
parent 283829c5c1a13c7c1f01b4b0e0e697b967bb46f1
author bors <bors@rust-lang.org> 1566911654 +0000
committer bors <bors@rust-lang.org> 1566911654 +0000

Auto merge of #927 - RalfJung:getrandom, r=RalfJung

explicitly enable getrandom/std feature

This seems to be what rand_core does, and then we need to do it as well or else the rustc feature checker complains.