diff -r 0a1e72093a51 -r be4484f10ac7 scripts/build/debug/gdb.sh --- a/scripts/build/debug/gdb.sh Sun May 20 16:18:40 2007 +0000 +++ b/scripts/build/debug/gdb.sh Sat Jun 16 18:08:14 2007 +0000 @@ -2,6 +2,11 @@ is_enabled="${CT_GDB}" +do_print_filename() { + [ "${CT_GDB}" = "y" ] || return 0 + echo "gdb`do_debug_gdb_suffix`" +} + do_debug_gdb_suffix() { case "${CT_GDB_VERSION}" in snapshot) ;;