diff options
Diffstat (limited to 'scripts/build/companion_libs/121-isl.sh')
-rw-r--r-- | scripts/build/companion_libs/121-isl.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/build/companion_libs/121-isl.sh b/scripts/build/companion_libs/121-isl.sh index 8cc6dc2..bde63e3 100644 --- a/scripts/build/companion_libs/121-isl.sh +++ b/scripts/build/companion_libs/121-isl.sh @@ -100,6 +100,7 @@ do_isl_backend() { CFLAGS="${cflags}" \ CXXFLAGS="${cxxflags}" \ LDFLAGS="${ldflags}" \ + ${CONFIG_SHELL} \ "${CT_SRC_DIR}/isl-${CT_ISL_VERSION}/configure" \ --build=${CT_BUILD} \ --host=${host} \ |