author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
Mon Aug 25 21:41:52 2008 +0000 (2008-08-25) | |
changeset 806 | b5734a8508f1 |
parent 805 | ae730f907bed |
child 807 | 71241c4f09e1 |
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