scripts/build/mpfr.sh
changeset 598 a2b23333b17a
parent 595 3ea35558d659
child 602 1968d150a34f
     1.1 --- a/scripts/build/mpfr.sh	Fri Jun 20 09:17:06 2008 +0000
     1.2 +++ b/scripts/build/mpfr.sh	Fri Jun 20 10:58:45 2008 +0000
     1.3 @@ -24,11 +24,15 @@
     1.4      # built sanely, and thus ./configure fails on Gentoo.
     1.5      # See: http://sourceware.org/ml/crossgcc/2008-05/msg00080.html
     1.6      # and: http://sourceware.org/ml/crossgcc/2008-06/msg00005.html
     1.7 -    # This hack is not bad per se, but the MPFR guys would be better to not
     1.8 +    # This hack is not bad per se, but the MPFR guys would be better not to
     1.9      # do that in the future...
    1.10      CT_Pushd "${CT_SRC_DIR}/${CT_MPFR_FILE}"
    1.11 -    autoreconf -fi  2>&1 |CT_DoLog ALL
    1.12 -    libtoolize      2>&1 |CT_DoLog ALL
    1.13 +    if [ ! -f .autotools.ct-ng ]; then
    1.14 +        CT_DoLog EXTRA "Re-building autotools files"
    1.15 +        autoreconf -fi  2>&1 |CT_DoLog ALL
    1.16 +        libtoolize -f   2>&1 |CT_DoLog ALL
    1.17 +        touch .autotools.ct-ng
    1.18 +    fi
    1.19      CT_Popd
    1.20  }
    1.21