Files
rust/src/etc
bors 77ab3a1d5f 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.
2017-11-28 23:23:03 +00:00
..
2017-11-21 15:33:45 +01:00
2016-08-22 01:24:01 -04:00
2015-07-30 06:35:42 +10:00
2017-11-16 13:34:13 -05:00
2017-10-08 01:39:34 +08:00
2014-03-12 11:31:05 +11:00