scripts/build/debug/300-gdb.sh
changeset 1808 a1370757e6a1
parent 1744 e27d2bd82790
child 1810 e44f67656c5f
     1.1 --- a/scripts/build/debug/300-gdb.sh	Thu Jan 21 22:45:09 2010 +0100
     1.2 +++ b/scripts/build/debug/300-gdb.sh	Wed Feb 17 23:47:47 2010 +0100
     1.3 @@ -99,9 +99,8 @@
     1.4          cd "${CT_BUILD_DIR}/build-gdb-cross"
     1.5  
     1.6          cross_extra_config=("${extra_config[@]}")
     1.7 -        if [ "${CT_GMP_MPFR}" = "y" ]; then
     1.8 -            cross_extra_config+=("--with-gmp=${CT_PREFIX_DIR}" "--with-mpfr=${CT_PREFIX_DIR}")
     1.9 -        fi
    1.10 +        [ -z "${CT_GMP}"    ] || cross_extra_config+=("--with-gmp=${CT_PREFIX_DIR}")
    1.11 +        [ -z "${CT_MPFR}"   ] || cross_extra_config+=("--with-mpfr=${CT_PREFIX_DIR}")
    1.12          case "${CT_THREADS}" in
    1.13              none)   cross_extra_config+=("--disable-threads");;
    1.14              *)      cross_extra_config+=("--enable-threads");;