commit ca079d6ac476568a39c7c76bed85f9dc82f6672e parent 2d4aebfa4622cdf0d36172bcdd73a5b78a43bf0c Author: Matthias Wachs <wachs@net.in.tum.de> Date: Thu, 28 Nov 2013 10:38:38 +0000 check for cli tools Diffstat:
| M | src/revocation/test_local_revocation.sh | | | 7 | +++++++ |
1 file changed, 7 insertions(+), 0 deletions(-)
diff --git a/src/revocation/test_local_revocation.sh b/src/revocation/test_local_revocation.sh @@ -5,6 +5,13 @@ TEST_REVOCATION_EGO="revoc_test" which timeout &> /dev/null && DO_TIMEOUT="timeout 5" trap "gnunet-arm -e -c test_revocation.conf" SIGINT +LOCATION=$(which gnunet-config) +if [ -z $LOCATION ] +then + echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX" + exit 1 +fi + # clean up rm -rf `gnunet-config -c test_revocation.conf -s PATHS -o GNUNET_HOME -f`