# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1219700512 0
# Node ID b5734a8508f15b75887bec7a1db981832dbd1c5e
# Parent  ae730f907bedfbc6ff3c4f340f983df9f93e0367
Fix extracting the configuration from a build log.

 /trunk/tools/extract-config.sh |    2     1     1     0 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff -r ae730f907bed -r b5734a8508f1 tools/extract-config.sh
--- a/tools/extract-config.sh	Mon Aug 25 19:44:39 2008 +0000
+++ b/tools/extract-config.sh	Mon Aug 25 21:41:52 2008 +0000
@@ -10,7 +10,7 @@
   dump = 0;
 }
 
-$0~/Dumping crosstool-NG configuration: done in.+s$/ {
+$0~/Dumping crosstool-NG configuration: done in/ {
   dump = 0;
 }