Merge branch 'credentials' of git+ssh://gnunet.org/gnunet into credentials

[oweals/gnunet.git] / src / gns / test_gns_lookup.sh

diff --git a/src/gns/test_gns_lookup.sh b/src/gns/test_gns_lookup.sh
index 70066f0a215ecda8be9eb74d0e90b238754d9306..ddee5b78dc3856f997799822d1fe5acf113b8ef1 100755 (executable)
--- a/src/gns/test_gns_lookup.sh
+++ b/src/gns/test_gns_lookup.sh
@@ -6,7 +6,7 @@ if [ -z $LOCATION ]
 then
   LOCATION="gnunet-config"
 fi
-$LOCATION --version &> /dev/null
+$LOCATION --version 1> /dev/null
 if test $? != 0
 then
        echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"