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


Reply via email to