config/kernel/windows.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Wed Dec 05 20:31:43 2012 +0100 (2012-12-05)
changeset 3134 863723936e24
child 3150 1d6fd9bde73c
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>
diorcet@3112
     1
# windows config options
diorcet@3112
     2
diorcet@3112
     3
## depends on EXPERIMENTAL && ARCH_x86
diorcet@3112
     4
##
diorcet@3112
     5
## select WINDOWS
diorcet@3112
     6
##
diorcet@3112
     7
## help Build a toolchain targeting systems running Windows as host