#!/bin/sh -e

make \
    headers_install \
    INSTALL_HDR_PATH="$1/usr" \
    HOSTCC="${CC:-cc}"