# HG changeset patch
# User diego
# Date 1183538020 0
# Node ID 226cbc96133d2ee91223d3b1faf4190a92169fc2
# Parent  60191f60a2a6a839aea0edec59227feac39c28d0
Write configure parameters to configure.log.

diff -r 60191f60a2a6 -r 226cbc96133d configure
--- a/configure	Tue Jul 03 13:52:36 2007 +0000
+++ b/configure	Wed Jul 04 08:33:40 2007 +0000
@@ -1259,6 +1259,9 @@
 TMPO="$I/mplayer-conf-$RANDOM-$$.o"
 TMPS="$I/mplayer-conf-$RANDOM-$$.S"
 
+echo configuration: $_configuration > "$TMPLOG"
+echo >> "$TMPLOG"
+
 # config files
 
 # FIXME: A lot of stuff is installed under /usr/local