diff configure @ 23696:226cbc96133d

Write configure parameters to configure.log.
author diego
date Wed, 04 Jul 2007 08:33:40 +0000
parents 4212a3701eff
children 528616078af2
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