diff options
Diffstat (limited to 'devel/release-checks.sh')
| -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. |