diff options
-rwxr-xr-x | src/revocation/test_local_revocation.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/revocation/test_local_revocation.sh b/src/revocation/test_local_revocation.sh index 309975429..8595c8df2 100755 --- a/src/revocation/test_local_revocation.sh +++ b/src/revocation/test_local_revocation.sh | |||
@@ -5,6 +5,13 @@ TEST_REVOCATION_EGO="revoc_test" | |||
5 | which timeout &> /dev/null && DO_TIMEOUT="timeout 5" | 5 | which timeout &> /dev/null && DO_TIMEOUT="timeout 5" |
6 | trap "gnunet-arm -e -c test_revocation.conf" SIGINT | 6 | trap "gnunet-arm -e -c test_revocation.conf" SIGINT |
7 | 7 | ||
8 | LOCATION=$(which gnunet-config) | ||
9 | if [ -z $LOCATION ] | ||
10 | then | ||
11 | echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX" | ||
12 | exit 1 | ||
13 | fi | ||
14 | |||
8 | # clean up | 15 | # clean up |
9 | rm -rf `gnunet-config -c test_revocation.conf -s PATHS -o GNUNET_HOME -f` | 16 | rm -rf `gnunet-config -c test_revocation.conf -s PATHS -o GNUNET_HOME -f` |
10 | 17 | ||