configure: add configure header to config-host.h
authorJens Axboe <axboe@kernel.dk>
Fri, 25 Jan 2013 15:52:28 +0000 (08:52 -0700)
committerJens Axboe <axboe@kernel.dk>
Fri, 25 Jan 2013 15:52:28 +0000 (08:52 -0700)
Signed-off-by: Jens Axboe <axboe@kernel.dk>
configure

index 0a404d0..cc4bdeb 100755 (executable)
--- a/configure
+++ b/configure
@@ -39,6 +39,14 @@ printf " '%s'" "$0" "$@" >> 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