1 files changed, 1 insertions, 1 deletions
diff --git a/src/gns/test_gns_nick_shorten.sh b/src/gns/test_gns_nick_shorten.sh
index 68ee57a2b..df69bbba9 100755
--- a/src/gns/test_gns_nick_shorten.sh
+++ b/src/gns/test_gns_nick_shorten.sh
@@ -12,7 +12,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"

diff --git a/src/gns/test_gns_nick_shorten.sh b/src/gns/test_gns_nick_shorten.sh index 68ee57a2b..df69bbba9 100755 --- a/src/gns/test_gns_nick_shorten.sh +++ b/src/gns/test_gns_nick_shorten.sh
@@ -12,7 +12,7 @@ if [ -z $LOCATION ]
12	then	12	then
13	LOCATION="gnunet-config"	13	LOCATION="gnunet-config"
14	fi	14	fi
15	$LOCATION --version &> /dev/null	15	$LOCATION --version 1> /dev/null
16	if test $? != 0	16	if test $? != 0
17	then	17	then
18	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"	18	echo "GNUnet command line tools cannot be found, check environmental variables PATH and GNUNET_PREFIX"