From 7560fe7c80e5a402310907d7d6c187b6a2ab36d8 Mon Sep 17 00:00:00 2001
From: Jens Axboe <axboe@kernel.dk>
Date: Fri, 25 Jan 2013 08:52:28 -0700
Subject: [PATCH] configure: add configure header to config-host.h

Signed-off-by: Jens Axboe <axboe@kernel.dk>
---
 configure | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/configure b/configure
index 0a404d00..cc4bdeb9 100755
--- 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
-- 
2.25.1