diff options
| author |   Alexey Neyman <stilor@att.net> | 2017-02-06 04:41:46 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2017-02-06 04:41:46 (GMT) |
| commit | df7579f2050379e14dbaaa25dd9219e03a142099 (patch) | |
| tree | 9593cf4c2371ccd1858468820e6da1f159aad3d2 /scripts/build/companion_libs/100-gmp.sh | |
| parent | 10db7887ce0ff5e8323dc35176eaabbb3618e81c (diff) | |
| parent | 71dccfffbb8b9f0f05f6c5e5bfb250770f0d5cd4 (diff) | |
Merge pull request #573 from stilor/add-libz-companion-lib
Add zlib as a companion lib
Diffstat (limited to 'scripts/build/companion_libs/100-gmp.sh')
| -rw-r--r-- | scripts/build/companion_libs/100-gmp.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/build/companion_libs/100-gmp.sh b/scripts/build/companion_libs/100-gmp.sh index 8ce500e..6b526c8 100644 --- a/scripts/build/companion_libs/100-gmp.sh +++ b/scripts/build/companion_libs/100-gmp.sh @@ -26,7 +26,6 @@ do_gmp_extract() { # Build GMP for running on build # - always build statically -# - we do not have build-specific CFLAGS # - install in build-tools prefix do_gmp_for_build() { local -a gmp_opts @@ -101,7 +100,7 @@ do_gmp_backend() { --enable-cxx \ --disable-shared \ --enable-static \ - "${extra_config}" + "${extra_config[@]}" CT_DoLog EXTRA "Building GMP" CT_DoExecLog ALL make ${JOBSFLAGS} |