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 /contrib | |
parent | c65eba57340ed84c67b73ae2007b1bb59b645802 (diff) |
-avoid bashisms
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/gnunet-gns-import.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/gnunet-gns-import.sh b/contrib/gnunet-gns-import.sh index 21670a3ec..abe1c5936 100755 --- a/contrib/gnunet-gns-import.sh +++ b/contrib/gnunet-gns-import.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 not found, check environmental variables PATH and GNUNET_PREFIX" |