#!/bin/sh
# DF-3863 build
set -e
cd "$(dirname "$0")"
cc -Wall -O2 -o va_nptes_overflow va_nptes_overflow.c (builds on guest, RC=0)