diff options
-rwxr-xr-x | tools/ci-build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci-build.sh b/tools/ci-build.sh index 93acf3b..a24798a 100755 --- a/tools/ci-build.sh +++ b/tools/ci-build.sh @@ -67,6 +67,8 @@ e=0 cd "$builddir" && "${srcdir}/configure" \ --enable-installed-tests \ --prefix="$prefix" \ + --with-python-prefix='${prefix}' \ + --with-python-exec-prefix='${exec_prefix}' \ "$@" \ ${NULL} ) || e=1 |