scripts/build/mpfr.sh
changeset 524 5f7fec79ca88
parent 522 0ebb814eb9f8
child 584 b46de4c38396
     1.1 --- a/scripts/build/mpfr.sh	Mon May 19 21:41:19 2008 +0000
     1.2 +++ b/scripts/build/mpfr.sh	Wed May 21 21:52:31 2008 +0000
     1.3 @@ -32,6 +32,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