Julian Foad wrote:
Please file a bug report about this.
Someone else has now filed bug #16305 about this problem, with the summary "grep much less efficient when matching multiple patterns than when matching each pattern sequentially".
- Julian
Julian Foad wrote:
Please file a bug report about this.
Someone else has now filed bug #16305 about this problem, with the summary "grep much less efficient when matching multiple patterns than when matching each pattern sequentially".
- Julian