summaryrefslogtreecommitdiff
path: root/scripts/build/kernel
diff options
context:
space:
mode:
authorEsben Haabendal <eha@doredevelopment.dk>2010-08-14 21:14:27 (GMT)
committerEsben Haabendal <eha@doredevelopment.dk>2010-08-14 21:14:27 (GMT)
commit1c81b216c8eb5071747a3cd1c3f94ce96aac19a5 (patch)
tree5525ce871db41c9557272f92b55e2a6391a541b6 /scripts/build/kernel
parent2b2ec4dd4b7fb08a13349c284c8a251273643c04 (diff)
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]
Diffstat (limited to 'scripts/build/kernel')
-rw-r--r--scripts/build/kernel/mingw32.sh6
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/build/kernel/mingw32.sh b/scripts/build/kernel/mingw32.sh
index d10442b..47bbe2f 100644
--- a/scripts/build/kernel/mingw32.sh
+++ b/scripts/build/kernel/mingw32.sh
@@ -19,9 +19,9 @@ do_kernel_extract() {
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
}