diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2020-01-20 09:32:49 -0800 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2020-01-20 09:33:17 -0800 |
commit | 759745166c0503680bb8fa1f4f60209292740492 (patch) | |
tree | 57078121b9e06fe4923a329488d565108e02438e /.gitignore | |
parent | 23bf27015e0cc45d0012f54b8e24ac19fdca89f7 (diff) | |
download | grep-759745166c0503680bb8fa1f4f60209292740492.tar.gz |
tests: work around GCC -fprofile-generate bug
* tests/triple-backref: Add a 10 s timeout to work around
what appears to be a GCC bug with -fprofile-generate.
Problem reported by Martin Liška, with diagnosis by
Andreas Schwab (Bug#21513).
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions