Linux regtest: add gdbserver filter for debuginfod messages

diff --git a/gdbserver_tests/filter_gdb.in b/gdbserver_tests/filter_gdb.in
index ccf201b2ac3e27cb4b432fa81ffe6c27c1dd38a1..094ea933ec5144691baa1503c1d24e8d01d827be 100755 (executable)
--- a/gdbserver_tests/filter_gdb.in
+++ b/gdbserver_tests/filter_gdb.in
@@ -263,6 +263,8 @@ s/^0x........ in \(\w\+ (\)/\1/
 #           finishes with a new line, sometimes not ???).
 /^$/d
 
+#      delete any missing debuginfo messages
+/^Missing debuginfo.*/d
 
 EOF