CI: label our python versions.

diff --git a/scripts/ci/ci-driver.sh b/scripts/ci/ci-driver.sh
index 20193e6b2a2821cdac37aef62047cb29f5ab087f..ad08ee5af0860e130b0daf0c2c1f60ec530710f9 100755 (executable)
--- a/scripts/ci/ci-driver.sh
+++ b/scripts/ci/ci-driver.sh
@@ -256,7 +256,9 @@ fi
 # Tell the user about our versions of different tools and packages.
 
 uname -a
+printf "python: "
 python -V || echo "no 'python' binary."
+printf "python3: "
 python3 -V || echo "no 'python3' binary."
 
 show_git_version Tor "${CI_SRCDIR}"