1.1 --- a/scripts/build/kernel/mingw32.sh	Wed Aug 11 21:39:04 2010 +0200
     1.2 +++ b/scripts/build/kernel/mingw32.sh	Sat Aug 14 23:14:27 2010 +0200
     1.3 @@ -19,9 +19,9 @@
     1.4  do_kernel_headers() {
     1.5      CT_DoStep INFO "Installing kernel headers"
     1.6  
     1.7 -    mkdir -p "${CT_SYSROOT_DIR}/include"
     1.8 -    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32/include \
     1.9 -          ${CT_SYSROOT_DIR}
    1.10 +    mkdir -p "${CT_HEADERS_DIR}"
    1.11 +    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32/include/* \
    1.12 +          ${CT_HEADERS_DIR}
    1.13  
    1.14      CT_EndStep
    1.15  }