scripts/build/debug/300-gdb.sh
changeset 1853 8676886c1ca9
parent 1851 59e178812e8d
child 1899 691adadc74db
     1.1 --- a/scripts/build/debug/300-gdb.sh	Mon Mar 15 21:51:20 2010 +0100
     1.2 +++ b/scripts/build/debug/300-gdb.sh	Mon Mar 15 22:02:02 2010 +0100
     1.3 @@ -103,6 +103,9 @@
     1.4              cross_extra_config+=("--with-gmp=${CT_PREFIX_DIR}")
     1.5              cross_extra_config+=("--with-mpfr=${CT_PREFIX_DIR}")
     1.6          fi
     1.7 +        if [ "${CT_GDB_CROSS_USE_MPC}" = "y" ]; then
     1.8 +            cross_extra_config+=("--with-mpc=${CT_PREFIX_DIR}")
     1.9 +        fi
    1.10          case "${CT_THREADS}" in
    1.11              none)   cross_extra_config+=("--disable-threads");;
    1.12              *)      cross_extra_config+=("--enable-threads");;