diff options
author | Christian Grothoff <christian@grothoff.org> | 2013-12-23 22:58:38 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2013-12-23 22:58:38 +0000 |
commit | 389e869325e475a3a0f016c32611c5d10049b07b (patch) | |
tree | ca1e832b375275806f769a7111b6fe652d2a78cb /src/namestore/test_namestore_put.sh | |
parent | c65eba57340ed84c67b73ae2007b1bb59b645802 (diff) | |
download | gnunet-389e869325e475a3a0f016c32611c5d10049b07b.tar.gz gnunet-389e869325e475a3a0f016c32611c5d10049b07b.zip |
-avoid bashisms
Diffstat (limited to 'src/namestore/test_namestore_put.sh')
-rwxr-xr-x | src/namestore/test_namestore_put.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/namestore/test_namestore_put.sh b/src/namestore/test_namestore_put.sh index 4987a9cd3..6b6647d5f 100755 --- a/src/namestore/test_namestore_put.sh +++ b/src/namestore/test_namestore_put.sh | |||
@@ -7,7 +7,7 @@ if [ -z $LOCATION ] | |||
7 | then | 7 | then |
8 | LOCATION="gnunet-config" | 8 | LOCATION="gnunet-config" |
9 | fi | 9 | fi |
10 | $LOCATION --version &> /dev/null | 10 | $LOCATION --version 1> /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" |