3 # Copyright (C) 2022-2024 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)
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 COPYING3. If not see
19 # <http://www.gnu.org/licenses/>.
29 echo "Unknown style: \"$style\""
35 Copyright (C) 2022-2024 Free Software Foundation, Inc.
37 This file is part of GCC.
39 GCC is free software; you can redistribute it and/or modify it under
40 the terms of the GNU General Public License as published by the Free
41 Software Foundation; either version 3, or (at your option) any later
44 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
45 WARRANTY; without even the implied warranty of MERCHANTABILITY or
46 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
49 You should have received a copy of the GNU General Public License
50 along with GCC; see the file COPYING3. If not see
51 <http://www.gnu.org/licenses/>.
53 ) |
while read line
; do
56 if [ "$line" = "" ]; then
67 if [ "$line" = "" ]; then