Fix extracting the configuration from a build log.
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon Aug 25 21:41:52 2008 +0000 (2008-08-25)
changeset 806b5734a8508f1
parent 805 ae730f907bed
child 807 71241c4f09e1
Fix extracting the configuration from a build log.

/trunk/tools/extract-config.sh | 2 1 1 0 +-
1 file changed, 1 insertion(+), 1 deletion(-)
tools/extract-config.sh
     1.1 --- a/tools/extract-config.sh	Mon Aug 25 19:44:39 2008 +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