summaryrefslogtreecommitdiff
path: root/tools/extract-config.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/extract-config.sh')
-rwxr-xr-xtools/extract-config.sh2
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;
}