1 2 3 4 5 6 7 8 9 10 11
#!/bin/bash if [ -z "$SOURCE_DIRECTORY" ]; then SOURCE_DIRECTORY="." fi fail=0 . ../../binref/env.sh bash $SOURCE_DIRECTORY/dotest.sh || fail=1 $SOURCE_DIRECTORY/../../binref/progctl.sh $SOURCE_DIRECTORY/progdefs.sh stop all exit $fail