Skip to content

Replace most call to grep in run-make by a script that cat the input.#46207

Merged
bors merged 2 commits intorust-lang:masterfrom kennytm:kill-grepNov 29, 2017