| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2017-11-28 | Replace most call to grep in run-make by a script that cat the input. | kennytm | -1/+1 | |
| 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 sanitizer error in #45810, as well as real errors such as #46126. | ||||
| 2015-09-26 | Don't ICE if an archive isn't actually an archive | William Throwe | -0/+5 | |
