From 744401bc0e2a47919e978f3539ba301a3fa0f343 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Thu, 2 Oct 2008 12:55:09 +0000
Subject: No need for this script now the config is tored in its own file.


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-
-- 
cgit v0.10.2-6-g49f6