From a0c615ef42d69b8c600c354f67dafd95cba63831 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Wed, 27 Feb 2019 11:03:43 +0100
Subject: [PATCH] Allow main() to lack a docstring.

---
 .pylintrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.pylintrc b/.pylintrc
index 168e0b759..037717e35 100644
--- a/.pylintrc
+++ b/.pylintrc
@@ -23,7 +23,7 @@ module-rgx=(([a-z_][a-z0-9_]*)|([A-Z][a-zA-Z0-9]+)|[a-z][-0-9a-z]+)$
 
 # Some functions don't need docstrings.
 # [missing-docstring]
-no-docstring-rgx=(run_)main$
+no-docstring-rgx=(run_)?main$
 
 # We're ok with short local or global variable names.
 # [invalid-name]