#! /bin/sh
-# Copyright (C) 2001, 2002 Free Software Foundation, Inc.
+# Copyright (C) 2001, 2002, 2006 Free Software Foundation, Inc.
# This file is part of GCC.
# GCC is free software; you can redistribute it and/or modify
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