#!/bin/sh
# DF-4217 build
set -e
cd "$(dirname "$0")"
scp -F dfbsd-qemu/config findings/poc/DF-4217/stoploop.c dfbsd:/tmp/ ; vm.sh run_root 'cc -O2 -Wall -Wextra -o /tmp/df4217 /tmp/stoploop.c && echo BUILD_4217_OK'