# HG changeset patch
# User Esben Haabendal <eha@doredevelopment.dk>
# Date 1281820467 -7200
# Node ID 2bcd716ca877e74b58f90271898ab48db2fe639b
# Parent  6ee3e9c4b0ab1e599f6a95534bebdfbb298f8646
kernel/mingw32: use pre-set headers dir

There is a variable that contains the headers directory,
so there's no need to re-compute it again.

[Yann E. MORIN: split the original patch]

diff -r 6ee3e9c4b0ab -r 2bcd716ca877 scripts/build/kernel/mingw32.sh
--- a/scripts/build/kernel/mingw32.sh	Wed Aug 11 21:39:04 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
 }