diff options
| -rwxr-xr-x | tools/extract-config.sh | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/tools/extract-config.sh b/tools/extract-config.sh deleted file mode 100755 index 11d2d55..0000000 --- a/tools/extract-config.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/bash - -# This scripts extracts a crosstool-NG configuration from the log file -# of a toolchain build with crosstool-NG. - -# Usage: cat <logfile> |$0 - -awk ' -BEGIN { - dump = 0; -} - -$0~/Dumping crosstool-NG configuration: done in/ { - dump = 0; -} - -dump == 1 { $1 = "" } -dump == 1 - -$0~/Dumping crosstool-NG configuration$/ { - dump = 1; -} -' |cut -d ' ' -f 2- |