From: jkratoch <>
Date: Sun, 14 Mar 2010 09:03:20 +0000 (+0000)
Subject: Extend -Is.
X-Git-Url: https://git.jankratochvil.net/?p=nethome.git;a=commitdiff_plain;h=3c8fdd4b81bcc1290db78d8c914ba352d88cd7c1

Extend -Is.
---

diff --git a/bin/diffgdb b/bin/diffgdb
index e34b9c8..f67c66c 100755
--- a/bin/diffgdb
+++ b/bin/diffgdb
@@ -56,6 +56,7 @@ exec diff $(if false && $filt;then echo "-U999999";else echo "-u";fi) \
 	-I '^\(PASS\|FAIL\): gdb.server/server-run.exp: continue to main$' \
 	-I '^\(PASS\|FAIL\): gdb.mi/mi-nonstop.exp: w1,i0 stop\(\| (timeout)\)$' \
 	-I '^\(PASS\|FAIL\): gdb.reverse/i387-env-reverse.exp: set reverse direction\(\| (timeout)\)$' \
+	-I '^\(PASS\|FAIL\): gdb.reverse/i387-env-reverse.exp: record to end of main\(\| (timeout)\)$' \
 	-I '^\(PASS\|FAIL\): gdb.mi/mi-file-transfer.exp: compare intermediate binary file$' \
 	-I '^\(PASS\|FAIL\): gdb.mi/mi-file-transfer.exp: compare binary file$' \
 	-I '^\(PASS\|FAIL\): gdb.mi/mi-file-transfer.exp: deleted binary file$' \