tree 1ad0630e1d28445fa58f7af37467df98a0940456
parent 5df77c63fba92d58c76161c959aa1db337db57c6
author Gilles Peskine <Gilles.Peskine@arm.com> 1626192865 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1626193568 +0200

Use python3 when building on non-Windows for Windows

The makefiles look for python3 on Unix-like systems where python is often
Python 2. This uses sh code so it doesn't work on Windows. On Windows, the
makefiles just assume that python is Python 3.

The code was incorrectly deciding not to try python3 based on WINDOWS_BUILD,
which indicates that the build is *for* Windows. Switch to checking WINDOWS,
which indicates that the build is *on* Windows.

Fix #4774

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