tree fc5c8448e1ba05b8276d45ffb4926a70d9df4297
parent d9071e7d96d99a066ab9253b72e7cb98dc17770c
author Gilles Peskine <Gilles.Peskine@arm.com> 1663529257 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1663529257 +0200

Don't use parallel jobs for pylint

When pylint runs in parallel, it loses the ability to detect duplicated code
across modules. Duplicated code is usually a bad thing, so give pylint the
opportunity to let us know.

This makes pylint slightly slower, but going from 2 threads to 1 does not
make it anywhere close to twice as slow. On my machine, with Python 3.5,
pylint -j2 takes about 12s while single-threaded pylint takes about 16s
of wall clock time.

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