tree 5f8b1032a9f66828c571850a2eb808619e15148d
parent 8b022359e88515cc16a26f3498f955fcf02e0efe
author Gilles Peskine <Gilles.Peskine@arm.com> 1585071590 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1586629402 +0200

Pylint: allow using pass even when not strictly necessary

If we take the trouble of using pass, it's because we think the code
is clearer that way. For example, Pylint 2.4 rejects pass in

    def foo():
        """Do nothing."""
        pass

But relying on a docstring as the sole code is weird, hence the use of
pass.

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