#!/bin/sh
set -e
cd "$(dirname "$0")"
cc -o df0143_poc df0143_poc.c -lprop
echo "built df0143_poc"