diff options
| author | Nick Mathewson <nickm@torproject.org> | 2020-08-11 12:24:03 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2020-08-11 12:24:03 -0400 |
| commit | adb7268236683ed54dedf455598b86596d7ab8ee (patch) | |
| tree | 0fba2fe92fac78e49f04ac59dd28953f744c4970 | |
| parent | 9eb316de4295086d534a7576cc13606a42544c9f (diff) | |
| download | tor-adb7268236683ed54dedf455598b86596d7ab8ee.tar.gz tor-adb7268236683ed54dedf455598b86596d7ab8ee.zip | |
CI: label our python versions.
| -rwxr-xr-x | scripts/ci/ci-driver.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/ci/ci-driver.sh b/scripts/ci/ci-driver.sh index 20193e6b2a..ad08ee5af0 100755 --- 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}" |