release: call python3 instead of python

Debian does not install /usr/bin/python by default any more.

diff --git a/devel/release-checks.sh b/devel/release-checks.sh
index f9dd6adefeedd2d9ba59a037ce9a4d594d1259c0..23c29eaafcdba5b37098cd4058fe53262be7b8da 100755 (executable)
--- 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.