scripts/build/kernel/mingw32.sh
changeset 2580 46dd211a7fd5
parent 2084 2bcd716ca877
     1.1 --- a/scripts/build/kernel/mingw32.sh	Sat Aug 14 23:14:27 2010 +0200
     1.2 +++ b/scripts/build/kernel/mingw32.sh	Mon Aug 01 00:16:12 2011 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4      CT_DoStep INFO "Installing kernel headers"
     1.5  
     1.6      mkdir -p "${CT_HEADERS_DIR}"
     1.7 -    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32/include/* \
     1.8 +    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32-src/include/*   \
     1.9            ${CT_HEADERS_DIR}
    1.10  
    1.11      CT_EndStep