diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/toolchain-config.in | 8 |
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 ### |