]> git.lizzy.rs Git - rust.git/commit
Auto merge of #46207 - kennytm:kill-grep, r=alexcrichton
authorbors <bors@rust-lang.org>
Tue, 28 Nov 2017 23:23:03 +0000 (23:23 +0000)
committerbors <bors@rust-lang.org>
Tue, 28 Nov 2017 23:23:03 +0000 (23:23 +0000)
commit77ab3a1d5ff69c0cb3eb85a75ef734eaf7429f1b
tree144b2cfaf519c4a307ecf44eecd35efb9d55346b
parent73bca2b9fa9399751e432734f7f12bd6a37fc167
parent918158debb97b03b897c9365b89a0338f28ef6ad
Auto merge of #46207 - kennytm:kill-grep, r=alexcrichton

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

Introduced a new `src/etc/cat-and-grep.sh` script (called in run-make as `$(CGREP)`), which prints the input and do a grep simultaneously. This is mainly used to debug spurious failures in run-make, such as the spurious error in #45810, as well as real errors such as #46126.

(cc #40713)

Some `grep` still remains, mainly the `grep -c` calls that count the number of matches and print the result to stdout.