#!/bin/sh
# DF-2224 build
set -e
cd "$(dirname "$0")"
sh build.sh (batch harness kernel DFV22X; verbatim linux_printf.c)