diff options
Diffstat (limited to 'tools/extract-config.sh')
| -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; } |