scripts/build/mpfr.sh
branch1.1
changeset 525 2d349a79c40d
parent 468 c310ff1d697f
child 588 2209aaba05ab
     1.1 --- a/scripts/build/mpfr.sh	Wed Apr 30 16:38:06 2008 +0000
     1.2 +++ b/scripts/build/mpfr.sh	Wed May 21 21:55:48 2008 +0000
     1.3 @@ -31,6 +31,7 @@
     1.4          --build=${CT_BUILD}                                 \
     1.5          --host=${CT_HOST}                                   \
     1.6          --prefix="${CT_PREFIX_DIR}"                         \
     1.7 +        --enable-thread-safe                                \
     1.8          --disable-shared --enable-static                    \
     1.9          --with-gmp="${CT_PREFIX_DIR}"                       2>&1 |CT_DoLog ALL
    1.10