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