# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1219787596 0
# Node ID 5c37346fa358f1d4493dfba673b23b458640b461
# Parent  7e07879c45b52b6295a3bf20059b1676bb9be161
Backport #958 from trunk:
  Fix extracting the configuration from a build log.

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

diff -r 7e07879c45b5 -r 5c37346fa358 tools/extract-config.sh
--- a/tools/extract-config.sh	Tue Aug 26 21:51:45 2008 +0000
+++ b/tools/extract-config.sh	Tue Aug 26 21:53:16 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;
 }