1.1 --- a/tools/extract-config.sh	Wed Sep 12 17:35:07 2007 +0000
     1.2 +++ b/tools/extract-config.sh	Mon Aug 25 21:41:52 2008 +0000
     1.3 @@ -10,7 +10,7 @@
     1.4    dump = 0;
     1.5  }
     1.6  
     1.7 -$0~/Dumping crosstool-NG configuration: done in.+s$/ {
     1.8 +$0~/Dumping crosstool-NG configuration: done in/ {
     1.9    dump = 0;
    1.10  }
    1.11