Update for new BUILD_DIR and SRC_DIR variables

[hvlinux.git] / stage2 / pkg / kernel-headers

diff --git a/stage2/pkg/kernel-headers b/stage2/pkg/kernel-headers
index f9ee5bb..95caa30 100644 (file)
--- a/stage2/pkg/kernel-headers
+++ b/stage2/pkg/kernel-headers
@@ -2,24 +2,10 @@
 
 hvbuild()
 {
-    # Check if kernel sources from stage0 are still in /usr/src.
-    # If not, recopy them.
-    if [ ! -d /usr/src/${PACKAGE} ]; then
-        # Decompress kernel sources
-        decompress_package ${PACKAGE} /usr/src
+    local DESTDIR=/usr/include
 
-        apply_patches ${PACKAGE} /usr/src
-    fi
-
-    # Install headers
-    cd /usr/src/${PACKAGE}
-    make mrproper
-    make headers_check
-
-    # Remove any previous headers install
-    rm -rf dest
-    make INSTALL_HDR_PATH=dest headers_install
-    cp -rv dest/include/* /usr/include
-    find /usr/include -name .install -or -name ..install.cmd | xargs rm -fv
-    rm -rf dest
+    ${HVMAKE} mrproper
+    ${HVMAKE} INSTALL_HDR_PATH=dest headers_install
+    cp -rv dest/include/* ${DESTDIR}
+    find ${DESTDIR} -name .install -or -name ..install.cmd | xargs rm -fv
 }