diff options
Diffstat (limited to 'scripts/build/companion_libs/mpfr.sh')
| -rw-r--r-- | scripts/build/companion_libs/mpfr.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/companion_libs/mpfr.sh b/scripts/build/companion_libs/mpfr.sh index 1c14c67..ecb63c2 100644 --- a/scripts/build/companion_libs/mpfr.sh +++ b/scripts/build/companion_libs/mpfr.sh @@ -19,7 +19,7 @@ do_mpfr_get() { # Extract MPFR do_mpfr_extract() { CT_Extract "mpfr-${CT_MPFR_VERSION}" - CT_Patch "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 |