config/libc/mingw.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Sat Oct 06 23:48:07 2012 +0200 (2012-10-06)
changeset 3083 3a7b2eee9dcd
parent 2017 f637b6c2162b
child 3112 6cb56b3f2d34
permissions -rw-r--r--
scripts: add option to start an interactive debug shell

Add an option that, when a command fails:
- starts an interactive shell with the failed command's environment
- attempts re-execution of the failed command, continues, or aborts
at user's whim.

Before starting the debug-shell, the backtrace is printed.
When exiting for an abort, the standard error message is printed.

Based on an idea and a patch from: Johannes Stezenbach <js@sig21.net>
http://sourceware.org/ml/crossgcc/2012-09/msg00144.html

Signed-off-by: Johannes Stezenbach <js@sig21.net>
[yann.morin.1998@free.fr: integrate in the fault handler]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Acked-by: Johannes Stezenbach <js@sig21.net>
Patchwork-Id: 191571
Patchwork-Id: 191668
     1 # mingw options
     2 
     3 ## depends on MINGW32
     4 ##
     5 ## select LIBC_SUPPORT_WIN32THREADS
     6 ##
     7 ## help The de-facto standard for Mingw distributions.
     8 
     9 choice
    10     bool
    11     prompt "Mingw runtime version"
    12 
    13 # Don't remove next line
    14 # CT_INSERT_VERSION_BELOW
    15 config MINGWRT_V_3_18
    16     bool
    17     prompt "3.18"
    18 
    19 config MINGWRT_V_select
    20     bool
    21     prompt "Other version"
    22 
    23 endchoice
    24 
    25 config MINGWRT_VERSION
    26     string
    27     prompt "Mingw runtime version" if MINGWRT_V_select
    28 # Don't remove next line
    29 # CT_INSERT_VERSION_STRING_BELOW
    30     default "3.18" if MINGWRT_V_3_18
    31     help
    32       Enter the version number of the mingw runtime files to use
    33