#!/bin/sh
# DF-3307 build
set -e
cd "$(dirname "$0")"
cp instr-ip6_input.c /usr/src/sys/netinet6/ip6_input.c; cd /usr/src && make quickkernel KERNCONF=X86_64_GENERIC -DNO_WERROR -j6 && make installkernel KERNCONF=X86_64_GENERIC; cc -O2 -o trigger trigger.c