#!/bin/sh
# DF-2728 build
set -e
cd "$(dirname "$0")"
cd /tmp/df2728 && make obj && make   (kmod.mk against /usr/src/sys, INVARIANTS X86_64_GENERIC kernel)