diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-08-25 21:41:52 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-08-25 21:41:52 (GMT) |
| commit | 72be420406a4a463feae54d8d89ca82b4eb5553f (patch) | |
| tree | af9264415c89f575374c74fbbfd7a74cc1fe733a | |
| parent | 4a7d144844e8a2ec2fa27debbe332d84ef916aca (diff) | |
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 3864652..11d2d55 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; } |