diff options
-rwxr-xr-x | tools/genboardscfg.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/genboardscfg.py b/tools/genboardscfg.py index 654100b..23c956b 100755 --- a/tools/genboardscfg.py +++ b/tools/genboardscfg.py @@ -328,6 +328,9 @@ class MaintainersDatabase: maintainers = [] status = '-' for line in open(file): + # Check also commented maintainers + if line[:3] == '#M:': + line = line[1:] tag, rest = line[:2], line[2:].strip() if tag == 'M:': maintainers.append(rest) |