diff -r 0a1e72093a51 -r e78c0b2bc057 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 21:44:45 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) ;;