scripts/build/debug/300-gdb.sh
changeset 2490 cce067f0448e
parent 2476 7690196856ce
child 2503 b5541f296b92
     1.1 --- a/scripts/build/debug/300-gdb.sh	Wed May 25 20:23:48 2011 +0200
     1.2 +++ b/scripts/build/debug/300-gdb.sh	Tue May 31 21:03:03 2011 +0200
     1.3 @@ -98,6 +98,11 @@
     1.4          6.2*|6.3)   extra_config+=("--disable-gdbmi");;
     1.5      esac
     1.6  
     1.7 +    if [ "${CT_GDB_HAS_PKGVERSION_BUGURL}" = "y" ]; then
     1.8 +        [ -n "${CT_TOOLCHAIN_PKGVERSION}" ] && extra_config+=("--with-pkgversion=${CT_TOOLCHAIN_PKGVERSION}")
     1.9 +        [ -n "${CT_TOOLCHAIN_BUGURL}" ]     && extra_config+=("--with-bugurl=${CT_TOOLCHAIN_BUGURL}")
    1.10 +    fi
    1.11 +
    1.12      if [ "${CT_GDB_CROSS}" = "y" ]; then
    1.13          local -a cross_extra_config
    1.14