Update LOCAL_PATCHES after libsanitizer merge.
[official-gcc.git] / contrib / maintainers-verify.sh
blob226c158fdaaa7f3b306ab71bca1378c318779046
1 #!/bin/sh
3 # Copyright (C) 2018 Free Software Foundation, Inc.
5 # This file is part of GCC.
7 # GCC is free software; you can redistribute it and/or modify
8 # it under the terms of the GNU General Public License as published by
9 # the Free Software Foundation; either version 3, or (at your option)
10 # any later version.
12 # GCC is distributed in the hope that it will be useful,
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 # GNU General Public License for more details.
17 # You should have received a copy of the GNU General Public License
18 # along with GCC; see the file COPYING. If not, write to
19 # the Free Software Foundation, 51 Franklin Street, Fifth Floor,
20 # Boston, MA 02110-1301, USA.
22 if [ "$1" != "" ]; then
23 f="$1"
24 else
25 f=./MAINTAINERS
28 grep @ $f \
29 | sed 's/[\t][\t]*/\t/g' \
30 | awk -F '\t' \
33 if (NF == 2) {
34 name=\$1
35 email=\$2
36 if (names[name] == 1) {
37 printf \"Redundant in write approval: %s\n\", name
39 } else if (NF == 3 ) {
40 name=\$2
41 email=\$3
42 names[name] = 1