#!/bin/sh
# DF-5240 build
set -e
cd "$(dirname "$0")"
push evilsim.c + Makefile to /root/df5240 in the guest; cd /root/df5240 && make