>From 759745166c0503680bb8fa1f4f60209292740492 Mon Sep 17 00:00:00 2001
From: Paul Eggert <address@hidden>
Date: Mon, 20 Jan 2020 09:32:49 -0800
Subject: [PATCH] tests: work around GCC -fprofile-generate bug
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* 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).
---
 tests/triple-backref | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
 mode change 100755 => 100644 tests/triple-backref

diff --git a/tests/triple-backref b/tests/triple-backref
old mode 100755
new mode 100644
index 27ab9a3..167b8ac
--- a/tests/triple-backref
+++ b/tests/triple-backref
@@ -8,11 +8,12 @@
 # notice and this notice are preserved.
 
 . "${srcdir=.}/init.sh"; path_prepend_ ../src
+require_timeout_
 
 echo a > in || framework_failure_
 
 fail=0
-grep -E '(.?)(.?)(.?)\3\2\1' in > out || fail=1
+timeout 10 grep -E '(.?)(.?)(.?)\3\2\1' in > out || fail=1
 compare out in || fail=1
 
 Exit $fail
-- 
2.17.1