diff options
author | David Bremner <david@tethera.net> | 2020-11-08 10:01:53 -0400 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2020-11-08 10:01:53 -0400 |
commit | 40b75f50be35dd372547bf03b972059e88b6f19b (patch) | |
tree | 2f122697ec0c0cbf2956d45ad6327e576021f5be | |
parent | 8e721f12ba2d03cabc299a75827b5282720204ba (diff) |
release: call python3 instead of python0.31.1
Debian does not install /usr/bin/python by default any more.
-rwxr-xr-x | devel/release-checks.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/release-checks.sh b/devel/release-checks.sh index f9dd6ade..23c29eaa 100755 --- a/devel/release-checks.sh +++ b/devel/release-checks.sh @@ -109,7 +109,7 @@ else fi echo -n "Checking that python bindings version is $VERSION... " -py_version=`python -c "with open('$PV_FILE') as vf: exec(vf.read()); print(__VERSION__)"` +py_version=`python3 -c "with open('$PV_FILE') as vf: exec(vf.read()); print(__VERSION__)"` if [ "$py_version" = "$VERSION" ] then echo Yes. |