diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-10-02 12:55:09 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-10-02 12:55:09 (GMT) |
commit | 744401bc0e2a47919e978f3539ba301a3fa0f343 (patch) | |
tree | a205fb9f513c79b559e91618a8542fdc1ceb7f7b /tools/extract-config.sh | |
parent | 16c6cc994fe1325535caa16dab5590c5a4cf2246 (diff) |
No need for this script now the config is tored in its own file.
Diffstat (limited to 'tools/extract-config.sh')
-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- |