diff options
| -rw-r--r-- | gdb/testsuite/gdb.gdb/index-file.exp | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/gdb/testsuite/gdb.gdb/index-file.exp b/gdb/testsuite/gdb.gdb/index-file.exp index 069c7cc..c30f417 100644 --- a/gdb/testsuite/gdb.gdb/index-file.exp +++ b/gdb/testsuite/gdb.gdb/index-file.exp @@ -47,8 +47,19 @@ if { $worker_threads eq "UNKNOWN" } { set dir1 [standard_output_file "index_1"] remote_exec host "mkdir -p ${dir1}" with_timeout_factor $timeout_factor { - gdb_test_no_output "save gdb-index $dir1" \ - "create gdb-index file" + set ok 0 + gdb_test_multiple "save gdb-index $dir1" "create gdb-index file" { + -re -wrap "Error while writing index for \[^\r\n\]*: No debugging symbols" { + unsupported $gdb_test_name + } + -re -wrap "^" { + pass $gdb_test_name + set ok 1 + } + } + if { ! $ok } { + return -1 + } gdb_test_no_output "save gdb-index -dwarf-5 $dir1" \ "create dwarf-index files" |