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(-)

1 files changed, 1 insertions, 1 deletions

diff --git a/tools/extract-config.sh b/tools/extract-config.sh
index 3864652..11d2d55 100755
--- a/tools/extract-config.sh
+++ b/tools/extract-config.sh
@@ -10,7 +10,7 @@ BEGIN {
   dump = 0;
 }
 
-$0~/Dumping crosstool-NG configuration: done in.+s$/ {
+$0~/Dumping crosstool-NG configuration: done in/ {
   dump = 0;
 }