tree f5d8a63aa44bf037ff05eb86cd18b45d83847155
parent c37300030717b2fb818b72ee5ee023f8de176869
author Gilles Peskine <Gilles.Peskine@arm.com> 1585058953 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1586630301 +0200

Make check_python_files non-optional in all.sh

check_python_files was optional in all.sh because we used to have CI
machines where pylint wasn't available. But this had the downside that
check_python_files kept breaking because it wasn't checked in the CI.
Now our CI has pylint and check_python_files should not be optional.

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