1 2 3 4 5 6 7
#!/bin/sh # DF-0884 harness run. $1 selects mode (buggy|fixed), default buggy. cd "$(dirname "$0")" MODE="${1:-buggy}" echo "+ ./harness $MODE" ./harness "$MODE" echo "RUN_EXIT=$?"