#!/bin/bash

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

    # 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
}