diff options
Diffstat (limited to 'src/namestore/test_namestore_delete.sh')
-rwxr-xr-x | src/namestore/test_namestore_delete.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/namestore/test_namestore_delete.sh b/src/namestore/test_namestore_delete.sh index ec25f45ca..5f9a6890a 100755 --- a/src/namestore/test_namestore_delete.sh +++ b/src/namestore/test_namestore_delete.sh | |||
@@ -7,10 +7,10 @@ if [ -z $LOCATION ] | |||
7 | then | 7 | then |
8 | LOCATION="gnunet-config" | 8 | LOCATION="gnunet-config" |
9 | fi | 9 | fi |
10 | $LOCATION --version | 10 | $LOCATION --version &> /dev/null |
11 | if test $? != 0 | 11 | if test $? != 0 |
12 | then | 12 | then |
13 | echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX" | 13 | echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX" |
14 | exit 77 | 14 | exit 77 |
15 | fi | 15 | fi |
16 | 16 | ||