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