config/arch/arm.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 2788 b6faa28e76e0
child 3262 87ad9e82546d
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>
     1 # ARM specific configuration file
     2 
     3 ## select ARCH_SUPPORTS_32
     4 ## select ARCH_DEFAULT_32
     5 ## select ARCH_SUPPORTS_BOTH_MMU
     6 ## select ARCH_DEFAULT_HAS_MMU
     7 ## select ARCH_SUPPORTS_BOTH_ENDIAN
     8 ## select ARCH_DEFAULT_LE
     9 ## select ARCH_SUPPORTS_WITH_ARCH
    10 ## select ARCH_SUPPORTS_WITH_CPU
    11 ## select ARCH_SUPPORTS_WITH_TUNE
    12 ## select ARCH_SUPPORTS_WITH_FLOAT
    13 ## select ARCH_SUPPORTS_WITH_FPU
    14 ## select ARCH_SUPPORTS_SOFTFP
    15 ##
    16 ## help The ARM architecture, as defined by:
    17 ## help     http://www.arm.com/