scripts/build/debug/300-gdb.sh
changeset 1851 59e178812e8d
parent 1839 2548f6f333da
child 1853 8676886c1ca9
     1.1 --- a/scripts/build/debug/300-gdb.sh	Tue Mar 16 23:10:46 2010 +0100
     1.2 +++ b/scripts/build/debug/300-gdb.sh	Mon Mar 15 21:51:20 2010 +0100
     1.3 @@ -99,8 +99,10 @@
     1.4          cd "${CT_BUILD_DIR}/build-gdb-cross"
     1.5  
     1.6          cross_extra_config=("${extra_config[@]}")
     1.7 -        [ -z "${CT_GMP}"    ] || cross_extra_config+=("--with-gmp=${CT_PREFIX_DIR}")
     1.8 -        [ -z "${CT_MPFR}"   ] || cross_extra_config+=("--with-mpfr=${CT_PREFIX_DIR}")
     1.9 +        if [ "${CT_GDB_CROSS_USE_GMP_MPFR}" = "y" ]; then
    1.10 +            cross_extra_config+=("--with-gmp=${CT_PREFIX_DIR}")
    1.11 +            cross_extra_config+=("--with-mpfr=${CT_PREFIX_DIR}")
    1.12 +        fi
    1.13          case "${CT_THREADS}" in
    1.14              none)   cross_extra_config+=("--disable-threads");;
    1.15              *)      cross_extra_config+=("--enable-threads");;