tools/toolchain-config.in
changeset 1098 035f231898cc
parent 1097 b46a557b33c9
child 1099 e1a5096d432b
     1.1 --- a/tools/toolchain-config.in	Thu Dec 11 18:16:54 2008 +0000
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,8 +0,0 @@
     1.4 -#!/bin/sh
     1.5 -
     1.6 -SKIP_ME="### CT_NG SKIP ME ###"
     1.7 -skip_me=$(($(cat "${0}" |grep --binary-files=text -o -b -E "^${SKIP_ME}$" |cut -d : -f 1)+${#SKIP_ME}+1))
     1.8 -dd if="${0}" bs=${skip_me} skip=1 2>/dev/null |bzcat
     1.9 -exit 0
    1.10 -
    1.11 -### CT_NG SKIP ME ###