#!/bin/bash
ksrc=$1
shift
exec make -C "$ksrc" M="$PWD" "$@" CONFIG_HINIC=m
