diff options
author | Christian Grothoff <christian@grothoff.org> | 2013-12-17 19:44:08 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2013-12-17 19:44:08 +0000 |
commit | ab7e7921897864b39f7efba7b13f926bf9d705fd (patch) | |
tree | 4495f16372c29f95ea4647a50d171b7d3147e4f6 /src/namestore | |
parent | e324e9dbec05a9b38e23776e1b93b2c268c2ba7e (diff) | |
download | gnunet-ab7e7921897864b39f7efba7b13f926bf9d705fd.tar.gz gnunet-ab7e7921897864b39f7efba7b13f926bf9d705fd.zip |
-do not log at DEBUG in testcases (at least not in SVN), do not print random stuff to stdout
Diffstat (limited to 'src/namestore')
-rwxr-xr-x | src/namestore/test_namestore_delete.sh | 4 | ||||
-rwxr-xr-x | src/namestore/test_namestore_lookup.sh | 4 | ||||
-rwxr-xr-x | src/namestore/test_namestore_put.sh | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/src/namestore/test_namestore_delete.sh b/src/namestore/test_namestore_delete.sh index ec25f45ca..5f9a6890a 100755 --- a/src/namestore/test_namestore_delete.sh +++ b/src/namestore/test_namestore_delete.sh | |||
@@ -7,10 +7,10 @@ if [ -z $LOCATION ] | |||
7 | then | 7 | then |
8 | LOCATION="gnunet-config" | 8 | LOCATION="gnunet-config" |
9 | fi | 9 | fi |
10 | $LOCATION --version | 10 | $LOCATION --version &> /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" |
14 | exit 77 | 14 | exit 77 |
15 | fi | 15 | fi |
16 | 16 | ||
diff --git a/src/namestore/test_namestore_lookup.sh b/src/namestore/test_namestore_lookup.sh index d1ac42544..18b8eed3e 100755 --- a/src/namestore/test_namestore_lookup.sh +++ b/src/namestore/test_namestore_lookup.sh | |||
@@ -7,10 +7,10 @@ if [ -z $LOCATION ] | |||
7 | then | 7 | then |
8 | LOCATION="gnunet-config" | 8 | LOCATION="gnunet-config" |
9 | fi | 9 | fi |
10 | $LOCATION --version | 10 | $LOCATION --version &> /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" |
14 | exit 77 | 14 | exit 77 |
15 | fi | 15 | fi |
16 | 16 | ||
diff --git a/src/namestore/test_namestore_put.sh b/src/namestore/test_namestore_put.sh index 1a1ca3a7d..4987a9cd3 100755 --- a/src/namestore/test_namestore_put.sh +++ b/src/namestore/test_namestore_put.sh | |||
@@ -7,10 +7,10 @@ if [ -z $LOCATION ] | |||
7 | then | 7 | then |
8 | LOCATION="gnunet-config" | 8 | LOCATION="gnunet-config" |
9 | fi | 9 | fi |
10 | $LOCATION --version | 10 | $LOCATION --version &> /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" |
14 | exit 77 | 14 | exit 77 |
15 | fi | 15 | fi |
16 | 16 | ||