diff -r 7690196856ce -r cce067f0448e scripts/build/debug/300-gdb.sh --- a/scripts/build/debug/300-gdb.sh Wed May 25 20:23:48 2011 +0200 +++ b/scripts/build/debug/300-gdb.sh Tue May 31 21:03:03 2011 +0200 @@ -98,6 +98,11 @@ 6.2*|6.3) extra_config+=("--disable-gdbmi");; esac + if [ "${CT_GDB_HAS_PKGVERSION_BUGURL}" = "y" ]; then + [ -n "${CT_TOOLCHAIN_PKGVERSION}" ] && extra_config+=("--with-pkgversion=${CT_TOOLCHAIN_PKGVERSION}") + [ -n "${CT_TOOLCHAIN_BUGURL}" ] && extra_config+=("--with-bugurl=${CT_TOOLCHAIN_BUGURL}") + fi + if [ "${CT_GDB_CROSS}" = "y" ]; then local -a cross_extra_config