scripts/toolchain-config.in
changeset 1761 88020b2c3246
parent 1098 035f231898cc
child 2614 814ea73df7e0
     1.1 --- a/scripts/toolchain-config.in	Thu Dec 11 18:21:18 2008 +0000
     1.2 +++ b/scripts/toolchain-config.in	Tue Jan 12 19:24:03 2010 +0100
     1.3 @@ -1,7 +1,7 @@
     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 +skip_me=$(($(cat "${0}" |@@grep@@ --binary-files=text -o -b -E "^${SKIP_ME}$" |cut -d : -f 1)+${#SKIP_ME}+1))
     1.9  dd if="${0}" bs=${skip_me} skip=1 2>/dev/null |bzcat
    1.10  exit 0
    1.11