tree 274d481cd9931601523b6b24b43aa257df2be500
parent d80cf54e10cc0b2e76e86d7b23a2bcc35cd5fe06
author Gilles Peskine <Gilles.Peskine@arm.com> 1637253301 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1637253301 +0100

Reconcile python interpreter names

Our shebangs use `python3`, which is the desired name on Linux (where
`python` is still Python 2). But on Windows, Choco's Python only provides a
`python3.exe` executable. Our build scripts deal with this, but we need to
cope when invoking a Python script from Travis itself.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>