annotate contrib/maintainers-verify.sh @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 #!/bin/sh
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 # Copyright (C) 2018 Free Software Foundation, Inc.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4 #
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 # This file is part of GCC.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 #
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 # GCC is free software; you can redistribute it and/or modify
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 # it under the terms of the GNU General Public License as published by
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 # the Free Software Foundation; either version 3, or (at your option)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 # any later version.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 #
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 # GCC is distributed in the hope that it will be useful,
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15 # GNU General Public License for more details.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 #
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 # You should have received a copy of the GNU General Public License
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 # along with GCC; see the file COPYING. If not, write to
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19 # the Free Software Foundation, 51 Franklin Street, Fifth Floor,
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 # Boston, MA 02110-1301, USA.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22 if [ "$1" != "" ]; then
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23 f="$1"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24 else
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25 f=./MAINTAINERS
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26 fi
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28 grep @ $f \
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29 | sed 's/[\t][\t]*/\t/g' \
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30 | awk -F '\t' \
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31 "
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
32 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
33 if (NF == 2) {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
34 name=\$1
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
35 email=\$2
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
36 if (names[name] == 1) {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
37 printf \"Redundant in write approval: %s\n\", name
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
38 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
39 } else if (NF == 3 ) {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
40 name=\$2
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
41 email=\$3
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
42 names[name] = 1
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
43 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
44 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
45 "