scripts/build/debug/gdb.sh
changeset 161 be4484f10ac7
parent 113 0a1e72093a51
child 175 043e44606e28
     1.1 --- a/scripts/build/debug/gdb.sh	Sun May 20 16:18:40 2007 +0000
     1.2 +++ b/scripts/build/debug/gdb.sh	Sat Jun 16 18:08:14 2007 +0000
     1.3 @@ -2,6 +2,11 @@
     1.4  
     1.5  is_enabled="${CT_GDB}"
     1.6  
     1.7 +do_print_filename() {
     1.8 +    [ "${CT_GDB}" = "y" ] || return 0
     1.9 +    echo "gdb`do_debug_gdb_suffix`"
    1.10 +}
    1.11 +
    1.12  do_debug_gdb_suffix() {
    1.13      case "${CT_GDB_VERSION}" in
    1.14          snapshot)   ;;