diff -r f637b6c2162b -r 2bcd716ca877 scripts/build/kernel/mingw32.sh
--- a/scripts/build/kernel/mingw32.sh	Sun Jul 11 21:36:20 2010 +0200
+++ b/scripts/build/kernel/mingw32.sh	Sat Aug 14 23:14:27 2010 +0200
@@ -19,9 +19,9 @@
 do_kernel_headers() {
     CT_DoStep INFO "Installing kernel headers"
 
-    mkdir -p "${CT_SYSROOT_DIR}/include"
-    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32/include \
-          ${CT_SYSROOT_DIR}
+    mkdir -p "${CT_HEADERS_DIR}"
+    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32/include/* \
+          ${CT_HEADERS_DIR}
 
     CT_EndStep
 }