summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-12-11 18:21:18 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-12-11 18:21:18 (GMT)
commit4cfd308098db9eccc48a2cb47c769ec4bcc65d9d (patch)
tree33be8371f0a33e7af6a178a897836fd2b564fffd /tools
parent790695af6f770bf5ad8b15c76f9874da588fc7b3 (diff)
Move toolchain-config.in from tools/ to scripts/
Small documentation fix. /trunk/scripts/crosstool.sh | 2 1 1 0 +- /trunk/docs/overview.txt | 1 1 0 0 + 2 files changed, 2 insertions(+), 1 deletion(-)
Diffstat (limited to 'tools')
-rw-r--r--tools/toolchain-config.in8
1 files changed, 0 insertions, 8 deletions
diff --git a/tools/toolchain-config.in b/tools/toolchain-config.in
deleted file mode 100644
index d8a4df3..0000000
--- a/tools/toolchain-config.in
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/sh
-
-SKIP_ME="### CT_NG SKIP ME ###"
-skip_me=$(($(cat "${0}" |grep --binary-files=text -o -b -E "^${SKIP_ME}$" |cut -d : -f 1)+${#SKIP_ME}+1))
-dd if="${0}" bs=${skip_me} skip=1 2>/dev/null |bzcat
-exit 0
-
-### CT_NG SKIP ME ###