blob: aabe3a10a2554dbb9dc7b227cc5207fb3a1b3cf5 (
plain) (
blame)
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
|