Record configure commandline.

diff --git a/configure b/configure
index 64cb745dcc639206fa0e19d851c161145c383b59..a320c71b2c69ad307a9a079c20f36ab48ce582fc 100755 (executable)
--- a/configure
+++ b/configure
@@ -466,6 +466,7 @@ config_h="config-host.h"
 #echo "Creating $config_mak and $config_h"
 
 echo "# Automatically generated by configure - do not modify" > $config_mak
+echo "# Configured with: $0 $@" >> $config_mak
 echo "/* Automatically generated by configure - do not modify */" > $config_h
 
 echo "prefix=$prefix" >> $config_mak