diff options
Diffstat (limited to 'scripts/build/mpfr.sh')
| -rw-r--r-- | scripts/build/mpfr.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/build/mpfr.sh b/scripts/build/mpfr.sh index c39cfa3..032e5d6 100644 --- a/scripts/build/mpfr.sh +++ b/scripts/build/mpfr.sh @@ -18,7 +18,8 @@ do_mpfr_get() { # Extract MPFR do_mpfr_extract() { - CT_ExtractAndPatch "mpfr-${CT_MPFR_VERSION}" + CT_Extract "mpfr-${CT_MPFR_VERSION}" + CT_Patch "mpfr-${CT_MPFR_VERSION}" # OK, Gentoo have a sanity check that libtool.m4 and ltmain.sh have the # same version number. Unfortunately, some tarballs of MPFR are not |