Replace most call to grep in run-make by a script that cat the input.#46207
Merged
bors merged 2 commits intorust-lang:masterfrom Nov 29, 2017
Merged
Replace most call to grep in run-make by a script that cat the input.#46207bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom