scripts/build/kernel/mingw32.sh
changeset 3112 6cb56b3f2d34
parent 3111 a9130ff13b19
child 3113 34b685c4069c
     1.1 --- a/scripts/build/kernel/mingw32.sh	Tue Nov 13 15:06:18 2012 +0000
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,27 +0,0 @@
     1.4 -# This file declares functions to install the kernel headers for mingw
     1.5 -# Copyright 2009 Bart vdr. Meulen
     1.6 -# Licensed under the GPL v2. See COPYING in the root of this package
     1.7 -
     1.8 -CT_DoKernelTupleValues() {
     1.9 -    CT_TARGET_KERNEL="mingw32"
    1.10 -    CT_TARGET_SYS=
    1.11 -}
    1.12 -
    1.13 -do_kernel_get() {
    1.14 -    CT_GetFile "w32api-${CT_W32API_VERSION}-mingw32-src" \
    1.15 -        http://downloads.sourceforge.net/sourceforge/mingw
    1.16 -}
    1.17 -
    1.18 -do_kernel_extract() {
    1.19 -    CT_Extract "w32api-${CT_W32API_VERSION}-mingw32-src"
    1.20 -}
    1.21 -
    1.22 -do_kernel_headers() {
    1.23 -    CT_DoStep INFO "Installing kernel headers"
    1.24 -
    1.25 -    mkdir -p "${CT_HEADERS_DIR}"
    1.26 -    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32-src/include/*   \
    1.27 -          ${CT_HEADERS_DIR}
    1.28 -
    1.29 -    CT_EndStep
    1.30 -}