summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-10-02 12:55:09 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-10-02 12:55:09 (GMT)
commit744401bc0e2a47919e978f3539ba301a3fa0f343 (patch)
treea205fb9f513c79b559e91618a8542fdc1ceb7f7b /tools
parent16c6cc994fe1325535caa16dab5590c5a4cf2246 (diff)
No need for this script now the config is tored in its own file.
Diffstat (limited to 'tools')
-rwxr-xr-xtools/extract-config.sh23
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-