diff options
-rw-r--r-- | scripts/build/kernel/mingw32.sh | 6 |
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 } |