diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-08-25 21:41:52 +0000 |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-08-25 21:41:52 +0000 |
commit | 72be420406a4a463feae54d8d89ca82b4eb5553f (patch) | |
tree | af9264415c89f575374c74fbbfd7a74cc1fe733a | |
parent | 4a7d144844e8a2ec2fa27debbe332d84ef916aca (diff) | |
download | crosstool-ng-72be420406a4a463feae54d8d89ca82b4eb5553f.tar.gz crosstool-ng-72be420406a4a463feae54d8d89ca82b4eb5553f.tar.bz2 crosstool-ng-72be420406a4a463feae54d8d89ca82b4eb5553f.zip |
Fix extracting the configuration from a build log.
/trunk/tools/extract-config.sh | 2 1 1 0 +-
1 file changed, 1 insertion(+), 1 deletion(-)
-rwxr-xr-x | tools/extract-config.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/extract-config.sh b/tools/extract-config.sh index 38646522..11d2d55f 100755 --- a/tools/extract-config.sh +++ b/tools/extract-config.sh @@ -10,7 +10,7 @@ BEGIN { dump = 0; } -$0~/Dumping crosstool-NG configuration: done in.+s$/ { +$0~/Dumping crosstool-NG configuration: done in/ { dump = 0; } |