From f3e4f44cb2d0964726a3f07601dcc6bded23e37c Mon Sep 17 00:00:00 2001
From: David Malcolm <dmalcolm@redhat.com>
Date: Tue, 21 May 2013 14:43:16 +0000
Subject: [PATCH] repro_fail: filter out "-ignore SIGHUP" from the spawn lines

contrib/
	* repro_fail: filter out "-ignore SIGHUP" from the spawn lines

From-SVN: r199147
---
 contrib/ChangeLog  | 4 ++++
 contrib/repro_fail | 6 ++++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 1fd90b75a08..e563275dc95 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,7 @@
+2013-05-21  David Malcolm  <dmalcolm@redhat.com>
+
+	* repro_fail: filter out "-ignore SIGHUP" from the spawn lines
+
 2013-05-16  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 
 	* config-list.mk (LIST): Add -enable-obsolete for
diff --git a/contrib/repro_fail b/contrib/repro_fail
index b28a7127b1e..9ea79f2bccf 100755
--- a/contrib/repro_fail
+++ b/contrib/repro_fail
@@ -4,7 +4,7 @@
 #
 # Contributed by Diego Novillo <dnovillo@google.com>
 #
-# Copyright (C) 2011, 2012 Free Software Foundation, Inc.
+# Copyright (C) 2011, 2012, 2013 Free Software Foundation, Inc.
 #
 # This file is part of GCC.
 #
@@ -56,7 +56,9 @@ logf="$2"
 shift 2
 
 # Find the commands in LOGF that reference PATTERN.
-lines=$(grep -E "^spawn .*$pattern" $logf | sed -e 's/^spawn //')
+lines=$(grep -E "^spawn .*$pattern" $logf \
+        | sed -e 's/^spawn -ignore SIGHUP //' \
+        | sed -e 's/^spawn //')
 if [ -z "$lines" ] ; then
     echo "Could not find a spawn command for pattern $pattern"
     exit 1