# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1222952109 0
# Node ID f673bc71d376b5d1a950e7acf98a8dead262d038
# Parent  c444ce4b51b9d38957715c2bf88b9651172e6950
No need for this script now the config is tored in its own file.

diff -r c444ce4b51b9 -r f673bc71d376 tools/extract-config.sh
--- a/tools/extract-config.sh	Wed Oct 01 18:10:40 2008 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -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-