#!/bin/bash

hvbuild()
{
    local DESTDIR=${TOOLS_DIR}/include
    install -dv ${DESTDIR}

    ${HVMAKE} mrproper
    ${HVMAKE} ARCH=${CLFS_ARCH} INSTALL_HDR_PATH=dest headers_install
    cp -rv dest/include/* ${DESTDIR}
    find ${DESTDIR} -name .install -or -name ..install.cmd | xargs rm -fv
}