Searched refs:separate_debug_filename (Results 1 – 2 of 2) sorted by relevance
2024 proc separate_debug_filename { exec } { procedure2043 set debug_file [separate_debug_filename $dest]
1709 * lib/gdb.exp (separate_debug_filename): New procedure.