#!/bin/sh
# DF-2223 build
set -e
cd "$(dirname "$0")"
sh build.sh (batch harness kernel DFV22X; verbatim linux_pci.c + real linux/pci.h predicate chain)