diff -r 5c20d52c8270 -r 814ea73df7e0 scripts/toolchain-config.in --- a/scripts/toolchain-config.in Sun Feb 01 18:51:19 2009 +0000 +++ b/scripts/toolchain-config.in Fri Aug 19 00:52:05 2011 +0200 @@ -1,8 +1,4 @@ #!/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 +tail -n+5 "${0}" |bzcat exit 0 - -### CT_NG SKIP ME ###