config/arch/mips.in.2
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Wed Dec 05 20:31:43 2012 +0100 (2012-12-05)
changeset 3134 863723936e24
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 # MIPS specific config options
     2 
     3 choice
     4     bool
     5     prompt "ABI"
     6 
     7 config ARCH_mips_o32
     8     bool
     9     prompt "o32"
    10     depends on ARCH_32
    11     help
    12       This is the -mabi=32 gcc option.
    13 
    14 config ARCH_mips_n32
    15     bool
    16     prompt "n32"
    17     depends on ARCH_64
    18     help
    19       This is the -mabi=n32 gcc option.
    20 
    21 config ARCH_mips_n64
    22     bool
    23     prompt "n64"
    24     depends on ARCH_64
    25     help
    26       This is the -mabi=64 gcc option.
    27 
    28 # Not supported on Linux:
    29 # o64   : seems related to *BSD
    30 # eabi  : seems related to bare-metal
    31 
    32 endchoice
    33 
    34 config ARCH_mips_ABI
    35     string
    36     default "32"    if ARCH_mips_o32
    37     default "n32"   if ARCH_mips_n32
    38     default "64"    if ARCH_mips_n64