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