scripts/toolchain-config.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Jan 25 20:31:16 2011 +0100 (2011-01-25)
changeset 2279 a559d9890c02
parent 1098 035f231898cc
child 2614 814ea73df7e0
permissions -rw-r--r--
config: add an option to name the sysroot directory

Depending on local policies, some users have expressed a need to
have the sysroot be named differently than the hard-coded name.

Add an option for that.
Default to 'sysroot' to match the existing literature.

While at it, replace 'sys-root' with 'sysroot' everywhere we
reference the sysroot.

Reported-by: Alexey Kuznetsov <Alexey.KUZNETSOV@youtransactor.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 #!/bin/sh
     2 
     3 SKIP_ME="### CT_NG SKIP ME ###"
     4 skip_me=$(($(cat "${0}" |@@grep@@ --binary-files=text -o -b -E "^${SKIP_ME}$" |cut -d : -f 1)+${#SKIP_ME}+1))
     5 dd if="${0}" bs=${skip_me} skip=1 2>/dev/null |bzcat
     6 exit 0
     7 
     8 ### CT_NG SKIP ME ###