config/backend.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Wed Dec 05 20:31:43 2012 +0100 (2012-12-05)
changeset 3134 863723936e24
parent 1878 2c577664a23d
permissions -rw-r--r--
scripts/xldd: use user's sed and grep

xldd uses sed and grep as detected by ./configure. This works well if is
used on the machine that build the toolchain.

But if the user moves the toolchain to another machine where sed and grep
are not in the same directory (eg. /bin/sed vs. /usr/bin/sed), then xldd
will stop functionning.

Fix that by using ${SED} and ${GREP} if they are set in the environment.

Reported-by: Samuel Martin <s.martin49@gmail.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
yann@1869
     1
# Options specific to crosstool-NG acting as a backend
yann@121
     2
yann@1842
     3
config IS_A_BACKEND
yann@1842
     4
    string
yann@1842
     5
    option env="CT_IS_A_BACKEND"
yann@1842
     6
yann@1842
     7
config BACKEND
yann@1842
     8
    bool
benoit@2484
     9
    default y if IS_A_BACKEND = "y" || IS_A_BACKEND = "Y"
yann@1842
    10
yann@1868
    11
config BACKEND_ARCH
yann@1868
    12
    string
yann@1868
    13
    option env="CT_BACKEND_ARCH"
yann@1868
    14
yann@1868
    15
config BACKEND_KERNEL
yann@1868
    16
    string
yann@1868
    17
    option env="CT_BACKEND_KERNEL"
yann@1878
    18
yann@1878
    19
config BACKEND_LIBC
yann@1878
    20
    string
yann@1878
    21
    option env="CT_BACKEND_LIBC"