X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fmkconfig.sh;h=9647ad7ec1666374fe4e20008b7ab4851039bae8;hb=304d9d629e6cba170a5191663dfe1a15ea7b2d59;hp=8fd9de2941985cf23aa0c0ad791be89d9dd9fc25;hpb=fcd42b1e55fb1fb044f703eac10788ba6aa3d1d7;p=pf3gnuchains%2Fgcc-fork.git

diff --git a/gcc/mkconfig.sh b/gcc/mkconfig.sh
index 8fd9de29419..9647ad7ec16 100644
--- a/gcc/mkconfig.sh
+++ b/gcc/mkconfig.sh
@@ -1,11 +1,11 @@
 #! /bin/sh
 
-# Copyright (C) 2001, 2002 Free Software Foundation, Inc.
+# Copyright (C) 2001, 2002, 2006, 2007 Free Software Foundation, Inc.
 # This file is part of GCC.
 
 # GCC 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)
+# the Free Software Foundation; either version 3, or (at your option)
 # any later version.
 
 # GCC is distributed in the hope that it will be useful,
@@ -14,9 +14,8 @@
 # GNU General Public License for more details.
 
 # You should have received a copy of the GNU General Public License
-# along with GCC; see the file COPYING.  If not, write to
-# the Free Software Foundation, 59 Temple Place - Suite 330,
-# Boston MA 02111-1307, USA.
+# along with GCC; see the file COPYING3.  If not see
+# <http://www.gnu.org/licenses/>.  
 
 
 # Generate gcc's various configuration headers:
@@ -41,6 +40,14 @@ header_guard=GCC_`echo ${output} | sed -e ${hg_sed_expr}`
 echo "#ifndef ${header_guard}" >> ${output}T
 echo "#define ${header_guard}" >> ${output}T
 
+# A special test to ensure that build-time files don't blindly use
+# config.h.
+if test x"$output" = x"config.h"; then
+  echo "#ifdef GENERATOR_FILE" >> ${output}T
+  echo "#error config.h is for the host, not build, machine." >> ${output}T
+  echo "#endif" >> ${output}T
+fi
+
 # Define TARGET_CPU_DEFAULT if the system wants one.
 # This substitutes for lots of *.h files.
 if [ "$TARGET_CPU_DEFAULT" != "" ]; then