diff -r 2548f6f333da -r 59e178812e8d scripts/build/debug/300-gdb.sh --- a/scripts/build/debug/300-gdb.sh Tue Mar 16 23:10:46 2010 +0100 +++ b/scripts/build/debug/300-gdb.sh Mon Mar 15 21:51:20 2010 +0100 @@ -99,8 +99,10 @@ cd "${CT_BUILD_DIR}/build-gdb-cross" cross_extra_config=("${extra_config[@]}") - [ -z "${CT_GMP}" ] || cross_extra_config+=("--with-gmp=${CT_PREFIX_DIR}") - [ -z "${CT_MPFR}" ] || cross_extra_config+=("--with-mpfr=${CT_PREFIX_DIR}") + if [ "${CT_GDB_CROSS_USE_GMP_MPFR}" = "y" ]; then + cross_extra_config+=("--with-gmp=${CT_PREFIX_DIR}") + cross_extra_config+=("--with-mpfr=${CT_PREFIX_DIR}") + fi case "${CT_THREADS}" in none) cross_extra_config+=("--disable-threads");; *) cross_extra_config+=("--enable-threads");;