X-Git-Url: http://gitweb.hugovil.com/?a=blobdiff_plain;f=stage2%2Fpkg%2Fkernel-headers;h=95caa3080a0fcf8d2be1756762cdb732b75c7fd6;hb=4e78d26dd7f5e46a21cdc916e031f1b4a68578c0;hp=6516337bc89c175fb3144ab692888ceb89f7271c;hpb=48619411231621a6b9289bbbad75c5fa7f91dcfe;p=hvlinux.git

diff --git a/stage2/pkg/kernel-headers b/stage2/pkg/kernel-headers
index 6516337..95caa30 100644
--- a/stage2/pkg/kernel-headers
+++ b/stage2/pkg/kernel-headers
@@ -2,22 +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
-    fi
+    local DESTDIR=/usr/include
 
-    # 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
 }