diff options
Diffstat (limited to 'tools/ci-build.sh')
| -rwxr-xr-x | tools/ci-build.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/ci-build.sh b/tools/ci-build.sh index ac82998..e8569c3 100755 --- a/tools/ci-build.sh +++ b/tools/ci-build.sh @@ -45,7 +45,8 @@ if [ -n "$ci_docker" ]; then --env=dbus_ci_system_python="${dbus_ci_system_python-}" \ --privileged \ ci-image \ - tools/ci-build.sh + tools/ci-build.sh \ + "$@" fi if [ -n "$dbus_ci_system_python" ]; then @@ -77,6 +78,7 @@ e=0 cd "$builddir" && "${srcdir}/configure" \ --enable-installed-tests \ --prefix="$prefix" \ + "$@" \ ${NULL} ) || e=1 if [ "x$e" != x0 ]; then |