From f792d440e23879510ea29f4dbf935ab9509ecea5 Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Thu, 26 Nov 2009 19:09:44 -0800
Subject: Add comments to generated files.

---
 configure | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index acb9dd81..40f6326d 100755
--- a/configure
+++ b/configure
@@ -458,6 +458,11 @@ fi
 gen_config_make()
 {
   cat > config.make <<!
+#
+# Make include file automatically generated by $0.
+# Changes to this file are lost when the above is re-run.
+#
+
 # absolute path to source code directory
 top_srcdir := $top_srcdir
 
@@ -523,7 +528,16 @@ printf "\n"
 #
 # Start config.h header
 #
-> config.h
+
+cat <<! > config.h
+/*
+ * Header file automatically generated by $0.
+ * Tweaking this file may seem like a good temporary workaround
+ * than tweak the file, but you probably should fix the script
+ * to do the job. In any case, be aware that you will lose your
+ * changes if you re-run $0.
+ */
+!
 
 #
 # Check C compiler sanity
-- 
cgit v1.2.3