diff options
Diffstat (limited to 'run-make-check.sh')
| -rwxr-xr-x | run-make-check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-make-check.sh b/run-make-check.sh index 2763af04569..4a022fec982 100755 --- a/run-make-check.sh +++ b/run-make-check.sh @@ -54,7 +54,7 @@ function main() { fi FOR_MAKE_CHECK=1 prepare # Init defaults after deps are installed. - configure "-DWITH_GTEST_PARALLEL=ON -DWITH_FIO=ON -DWITH_SEASTAR=ON -DWITH_CEPHFS_SHELL=ON -DWITH_SPDK=ON -DENABLE_GIT_VERSION=OFF $@" + configure " -DWITH_PYTHON3=3 -DWITH_GTEST_PARALLEL=ON -DWITH_FIO=ON -DWITH_SEASTAR=ON -DWITH_CEPHFS_SHELL=ON -DWITH_SPDK=ON -DENABLE_GIT_VERSION=OFF $@" build tests && echo "make check: successful run on $(git rev-parse HEAD)" run } |