summaryrefslogtreecommitdiff
path: root/scripts/build/companion_libs/110-mpfr.sh
diff options
context:
space:
mode:
authorAlexey Neyman <stilor@att.net>2017-01-25 08:06:28 (GMT)
committerAlexey Neyman <stilor@att.net>2017-01-25 08:06:28 (GMT)
commit7186e39f326150371b7909e2a938fe573f05cda1 (patch)
tree833b2eec8f8c1eaf0e29bf35f94ab94626b2d712 /scripts/build/companion_libs/110-mpfr.sh
parentb5d0e396d9ad0c886ab487bd26776bda92e5f40c (diff)
Run all configure scripts using ${CONFIG_SHELL}
... as its help message says in menuconfig. Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'scripts/build/companion_libs/110-mpfr.sh')
-rw-r--r--scripts/build/companion_libs/110-mpfr.sh1
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} \