#!/bin/bash

hvbuild()
{
    local DESTDIR=/usr/include

    ${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
}