105 Commits

Author	SHA1	Message	Date
Ralf Jung	ac454a2485	cargo-miri: allow overwriting miri command, and make that consistent with compiletest	2020-05-28 08:53:44 +02:00
Ralf Jung	35964b10b0	no workspace as that is incompatible with the rustc submodule	2020-05-28 08:53:44 +02:00
Ralf Jung	7fcf92dfea	re-add some fake dependencies to avoid rebuilds	2020-05-28 08:53:44 +02:00
Ralf Jung	254fc50bc1	fmt	2020-05-28 08:53:44 +02:00
Ralf Jung	0790f75ae4	make cargo-miri a separate crate in a workspace	2020-05-28 08:53:44 +02:00