Extend -Is.

diff --git a/bin/diffgdb b/bin/diffgdb
index e34b9c8..f67c66c 100755 (executable)
--- 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.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$' \
        -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$' \