changeset 835 | 8b976f2f38f9 |
parent 375 | 4beb099d5aa4 |
1.1 --- a/tools/extract-config.sh Wed Sep 12 17:35:07 2007 +0000 1.2 +++ b/tools/extract-config.sh Fri Sep 05 10:36:53 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