diff options
| author | Dan Davison <dandavison7@gmail.com> | 2022-01-05 16:51:00 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-05 16:51:00 -0500 |
| commit | 040ad767418b37d57c3215cbf6af2dfb9f0b6813 (patch) | |
| tree | 145274951211698b7e2101592ac0db92980ef716 /src/tests/test_example_diffs.rs | |
| parent | 48fec2e6fdede01ed32f28c9083bdc42ef300615 (diff) | |
Fix grep parse bugs (#865)
Evolve grep output parsing heuristics
* Demand a non-space before extension
* New grep parse heuristic
If something like any of the following are seen then that is assumed
to be a file name with an extension followed by a line number. I.e. we
do not support file names with such patterns internally.
.xx-7-
.xx=7=
.xx:7:
Diffstat (limited to 'src/tests/test_example_diffs.rs')
0 files changed, 0 insertions, 0 deletions