diff options
Diffstat (limited to 'scripts/build/companion_libs/110-mpfr.sh')
-rw-r--r-- | scripts/build/companion_libs/110-mpfr.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/build/companion_libs/110-mpfr.sh b/scripts/build/companion_libs/110-mpfr.sh index bcbe90f..05b6860 100644 --- a/scripts/build/companion_libs/110-mpfr.sh +++ b/scripts/build/companion_libs/110-mpfr.sh @@ -137,6 +137,7 @@ do_mpfr_backend() { CC="${host}-gcc" \ CFLAGS="${cflags}" \ LDFLAGS="${ldflags}" \ + ${CONFIG_SHELL} \ "${CT_SRC_DIR}/mpfr-${CT_MPFR_VERSION}/configure" \ --build=${CT_BUILD} \ --host=${host} \ |