config/libc/mingw.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 3112 6cb56b3f2d34
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 # mingw options
     2 
     3 ## depends on WINDOWS
     4 ##
     5 ## select LIBC_SUPPORT_WIN32THREADS
     6 ## select CC_CORE_PASSES_NEEDED
     7 ##
     8 ## help The de-facto standard for Mingw distributions.
     9 
    10 choice
    11     bool
    12     prompt "Windows API version"
    13 
    14 # Don't remove next line
    15 # CT_INSERT_VERSION_BELOW
    16 config WINAPI_V_2_0_7
    17     bool
    18     prompt "2.0.7"
    19 
    20 config WINAPI_V_select
    21     bool
    22     prompt "Other version"
    23 
    24 endchoice
    25 
    26 config WINAPI_VERSION
    27     string
    28     prompt "Windows API version" if WINAPI_V_select
    29 # Don't remove next line
    30 # CT_INSERT_VERSION_STRING_BELOW
    31     default "2.0.7" if WINAPI_V_2_0_7
    32     help
    33       Enter the version number of the Windows API files to use
    34 
    35 config MINGW_DIRECTX
    36     bool
    37     prompt "Include DirectX development files"
    38 
    39 config MINGW_DDK
    40     bool
    41     prompt "Include DDK development files"