diff options
Diffstat (limited to 'selftest')
| -rw-r--r-- | selftest/target/Samba4.pm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/selftest/target/Samba4.pm b/selftest/target/Samba4.pm index 208824d6b2c..5ca1a6a3055 100644 --- a/selftest/target/Samba4.pm +++ b/selftest/target/Samba4.pm @@ -717,6 +717,9 @@ nogroup:x:65534:nobody if (defined($ENV{VALGRIND_PROVISION})) { push (@provision_options, "valgrind"); } + if (defined($ENV{PYTHON})) { + push (@provision_options, $ENV{PYTHON}); + } push (@provision_options, "$self->{setupdir}/provision"); push (@provision_options, split(' ', $configuration)); push (@provision_options, "--host-name=$netbiosname"); |