summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure16
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