mirror of https://github.com/gcc-mirror/gcc.git
MAINTAINERS: Fix an entry using spaces instead of tabs
In the MAINTAINERS file, names and emails are separated by tabs. One of the entries recently added used spaces. This patch corrects this. The check-MAINTAINERS.py script breaks a bit when this happens. This patch also adds warning about this situation into the script. ChangeLog: * MAINTAINERS: Use tabs between name and email. contrib/ChangeLog: * check-MAINTAINERS.py: Add warning about not using tabs. Signed-off-by: Filip Kastl <fkastl@suse.cz>pull/91/merge
parent
8d15d848b9
commit
1a80928092
|
@ -738,7 +738,7 @@ Kwok Cheung Yeung <kcyeung@baylibre.com>
|
|||
Greta Yorsh <greta.yorsh@arm.com>
|
||||
David Yuste <david.yuste@gmail.com>
|
||||
Adhemerval Zanella <azanella@linux.vnet.ibm.com>
|
||||
Xiao Zeng <zengxiao@eswincomputing.com>
|
||||
Xiao Zeng <zengxiao@eswincomputing.com>
|
||||
Dennis Zhang <dennis.zhang@arm.com>
|
||||
Yufeng Zhang <yufeng.zhang@arm.com>
|
||||
Qing Zhao <qing.zhao@oracle.com>
|
||||
|
|
|
@ -71,6 +71,14 @@ def check_group(name, lines):
|
|||
print(f'Line should not start with space: "{line}"')
|
||||
exit_code = 2
|
||||
|
||||
# Special-case some names
|
||||
if line == 'James Norris':
|
||||
continue
|
||||
|
||||
if '\t' not in line:
|
||||
print(f'Name and email should be separated by tabs: "{line}"')
|
||||
exit_code = 2
|
||||
|
||||
lines = [line + '\n' for line in lines]
|
||||
sorted_lines = sorted(lines, key=sort_by_surname)
|
||||
if lines != sorted_lines:
|
||||
|
|
Loading…
Reference in New Issue