Searched refs:gdb_gnu_strip_debug (Results 1 – 3 of 3) sorted by relevance
88 if [gdb_gnu_strip_debug $binfile] {
2041 proc gdb_gnu_strip_debug { dest } { procedure
1710 (gdb_gnu_strip_debug): New procedure.