scripts/build/kernel/mingw32.sh
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jul 10 00:02:05 2011 +0200 (2011-07-10)
changeset 2543 0e8ff5707383
parent 2017 f637b6c2162b
child 2580 46dd211a7fd5
permissions -rw-r--r--
scripts: on startup, also remove the buildtools dir

In case there's one lingering around (whether the previous build was
successful, or failed), we have to remove the buildtools directory
as well as the toochain build dir.

This should also fix the case where out makeinfo wrapper calls
itself recursively.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # This file declares functions to install the kernel headers for mingw
     2 # Copyright 2009 Bart vdr. Meulen
     3 # Licensed under the GPL v2. See COPYING in the root of this package
     4 
     5 CT_DoKernelTupleValues() {
     6     CT_TARGET_KERNEL="mingw32"
     7     CT_TARGET_SYS=
     8 }
     9 
    10 do_kernel_get() {
    11     CT_GetFile "w32api-${CT_W32API_VERSION}-mingw32-src" \
    12         http://downloads.sourceforge.net/sourceforge/mingw
    13 }
    14 
    15 do_kernel_extract() {
    16     CT_Extract "w32api-${CT_W32API_VERSION}-mingw32-src"
    17 }
    18 
    19 do_kernel_headers() {
    20     CT_DoStep INFO "Installing kernel headers"
    21 
    22     mkdir -p "${CT_HEADERS_DIR}"
    23     cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32/include/* \
    24           ${CT_HEADERS_DIR}
    25 
    26     CT_EndStep
    27 }