scripts/build/kernel/mingw32.sh
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Sat Oct 06 23:48:07 2012 +0200 (2012-10-06)
changeset 3083 3a7b2eee9dcd
parent 2084 2bcd716ca877
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
bartvdrmeulen@2017
     1
# This file declares functions to install the kernel headers for mingw
bartvdrmeulen@2017
     2
# Copyright 2009 Bart vdr. Meulen
bartvdrmeulen@2017
     3
# Licensed under the GPL v2. See COPYING in the root of this package
bartvdrmeulen@2017
     4
bartvdrmeulen@2017
     5
CT_DoKernelTupleValues() {
bartvdrmeulen@2017
     6
    CT_TARGET_KERNEL="mingw32"
bartvdrmeulen@2017
     7
    CT_TARGET_SYS=
bartvdrmeulen@2017
     8
}
bartvdrmeulen@2017
     9
bartvdrmeulen@2017
    10
do_kernel_get() {
bartvdrmeulen@2017
    11
    CT_GetFile "w32api-${CT_W32API_VERSION}-mingw32-src" \
bartvdrmeulen@2017
    12
        http://downloads.sourceforge.net/sourceforge/mingw
bartvdrmeulen@2017
    13
}
bartvdrmeulen@2017
    14
bartvdrmeulen@2017
    15
do_kernel_extract() {
bartvdrmeulen@2017
    16
    CT_Extract "w32api-${CT_W32API_VERSION}-mingw32-src"
bartvdrmeulen@2017
    17
}
bartvdrmeulen@2017
    18
bartvdrmeulen@2017
    19
do_kernel_headers() {
bartvdrmeulen@2017
    20
    CT_DoStep INFO "Installing kernel headers"
bartvdrmeulen@2017
    21
eha@2084
    22
    mkdir -p "${CT_HEADERS_DIR}"
yann@2580
    23
    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32-src/include/*   \
eha@2084
    24
          ${CT_HEADERS_DIR}
bartvdrmeulen@2017
    25
bartvdrmeulen@2017
    26
    CT_EndStep
bartvdrmeulen@2017
    27
}