diff -r 035f231898cc -r 5c20d52c8270 scripts/toolchain-config.in --- a/scripts/toolchain-config.in Thu Dec 11 18:21:18 2008 +0000 +++ b/scripts/toolchain-config.in Sun Feb 01 18:51:19 2009 +0000 @@ -1,7 +1,7 @@ #!/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)) +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