From 389e869325e475a3a0f016c32611c5d10049b07b Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 23 Dec 2013 22:58:38 +0000
Subject: -avoid bashisms

---
 src/namestore/test_namestore_put.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/namestore/test_namestore_put.sh')

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 ]
 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"
-- 
cgit v1.2.3