configure: add configure header to config-host.h

Signed-off-by: Jens Axboe <axboe@kernel.dk>

diff --git a/configure b/configure
index 0a404d00e2241520d6567cceac6b64cf0d6eb109..cc4bdeb9f5ac3f1de0f657c10dc52c43f56395c9 100755 (executable)
--- a/configure
+++ b/configure
@@ -39,6 +39,14 @@ printf " '%s'" "$0" "$@" >> config.log
 echo >> config.log
 echo "#" >> config.log
 
 echo >> config.log
 echo "#" >> config.log
 

+# Print configure header at the top of $config_host_h
+echo "/*" > $config_host_h
+echo " * Automatically generated by configure - do not modify" >> $config_host_h
+printf " * Configured with:" >> $config_host_h
+printf " * '%s'" "$0" "$@" >> $config_host_h
+echo "" >> $config_host_h
+echo " */" >> $config_host_h
+

 do_cc() {
     # Run the compiler, capturing its output to the log.
     echo $cc "$@" >> config.log
 do_cc() {
     # Run the compiler, capturing its output to the log.
     echo $cc "$@" >> config.log