diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-02-23 10:48:08 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-02-23 10:48:08 +0100 |
commit | f1e8076ed474a429aff32839ed5f8fc20371839c (patch) | |
tree | bb38cb99b0e9cb7b937d33b539e74b9eb9fe4d32 /src/gns/test_gns_rel_expiration.sh | |
parent | 3d0f1dd3805bfef30ff7a7f8e246a926b7fa7838 (diff) | |
parent | 7b01b7b1760cc973719c9a20123f99e4a7e1b5a6 (diff) | |
download | gnunet-f1e8076ed474a429aff32839ed5f8fc20371839c.tar.gz gnunet-f1e8076ed474a429aff32839ed5f8fc20371839c.zip |
merge
Diffstat (limited to 'src/gns/test_gns_rel_expiration.sh')
-rwxr-xr-x | src/gns/test_gns_rel_expiration.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/gns/test_gns_rel_expiration.sh b/src/gns/test_gns_rel_expiration.sh index 66adbb631..c7c66bc27 100755 --- a/src/gns/test_gns_rel_expiration.sh +++ b/src/gns/test_gns_rel_expiration.sh | |||
@@ -7,6 +7,13 @@ if [ -z $LOCATION ] | |||
7 | then | 7 | then |
8 | LOCATION="gnunet-config" | 8 | LOCATION="gnunet-config" |
9 | fi | 9 | fi |
10 | |||
11 | if [ -z $(which timeout) ] | ||
12 | then | ||
13 | echo "timeout utility not found which is required for test." | ||
14 | exit 77 | ||
15 | fi | ||
16 | |||
10 | $LOCATION --version 1> /dev/null | 17 | $LOCATION --version 1> /dev/null |
11 | if test $? != 0 | 18 | if test $? != 0 |
12 | then | 19 | then |