Add comments to generated files.

1 files changed, 15 insertions, 1 deletions

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