-# Copyright 2008-2014 Free Software Foundation, Inc.
+# Copyright 2008-2015 Free Software Foundation, Inc.
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
set end_location [gdb_get_line_number "end of main" ]
gdb_test "break $end_location" \
- "Breakpoint $decimal at .*/$srcfile, line $end_location\." \
+ "Breakpoint $decimal at .*$srcfile, line $end_location\." \
"BP at end of main"
gdb_test "continue" "Breakpoint .* end of main .*" "run to end of main"
"Kill the program being debugged\\? \\(y or n\\) " "y"
gdb_test "record restore $precsave" \
- "Program terminated with signal .*" \
+ "Restored records from core file .*" \
"reload precord save file"
gdb_breakpoint foo