diff options
author | David Malcolm <dmalcolm@redhat.com> | 2013-05-21 14:43:16 +0000 |
---|---|---|
committer | David Malcolm <dmalcolm@gcc.gnu.org> | 2013-05-21 14:43:16 +0000 |
commit | f3e4f44cb2d0964726a3f07601dcc6bded23e37c (patch) | |
tree | b9f17ef14f1fc9ce67a36098ea61f8d051ff1b0c /contrib/repro_fail | |
parent | 1b14621a8872935ef001dacb5137577185421533 (diff) |
repro_fail: filter out "-ignore SIGHUP" from the spawn lines
contrib/
* repro_fail: filter out "-ignore SIGHUP" from the spawn lines
From-SVN: r199147
Diffstat (limited to 'contrib/repro_fail')
-rwxr-xr-x | contrib/repro_fail | 6 |
1 files changed, 4 insertions, 2 deletions
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 |