diff -r 4beb099d5aa4 -r 8b976f2f38f9 tools/extract-config.sh
--- a/tools/extract-config.sh	Wed Sep 12 17:35:07 2007 +0000
+++ b/tools/extract-config.sh	Fri Sep 05 10:36:53 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;
 }