changeset 23696:226cbc96133d

Write configure parameters to configure.log.
author diego
date Wed, 04 Jul 2007 08:33:40 +0000
parents 60191f60a2a6
children 528616078af2
files configure
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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