#!/bin/sh
# build.sh - build the DF-0791 deterministic harness (unprivileged).
set -e
cd "$(dirname "$0")"
echo "+ cc -O2 -o harness harness.c"
cc -O2 -o harness harness.c
echo "BUILD_EXIT=$?"
ls -l harness