1 2 3 4 5 6 7 8
#!/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