1 2 3 4 5 6 7
#!/bin/sh # Run the DF-0807 deterministic harness. set -e cd "$(dirname "$0")" echo "+ ./harness" ./harness echo "RUN_EXIT=$?"