diff options
Diffstat (limited to 'gcc/optc-gen.awk')
-rw-r--r-- | gcc/optc-gen.awk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/optc-gen.awk b/gcc/optc-gen.awk index 35b3d355089..17ed35d5a7d 100644 --- a/gcc/optc-gen.awk +++ b/gcc/optc-gen.awk @@ -4,7 +4,7 @@ # # This program is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by the -# Free Software Foundation; either version 2, or (at your option) any +# Free Software Foundation; either version 3, or (at your option) any # later version. # # This program is distributed in the hope that it will be useful, @@ -13,8 +13,8 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +# along with this program; see the file COPYING3. If not see +# <http://www.gnu.org/licenses/>. # This Awk script reads in the option records generated from # opt-gather.awk, combines the flags of duplicat options and generates a |