diff options
author | Schanzenbach, Martin <mschanzenbach@posteo.de> | 2019-02-16 22:15:05 +0100 |
---|---|---|
committer | Schanzenbach, Martin <mschanzenbach@posteo.de> | 2019-02-16 22:15:05 +0100 |
commit | e16d72da26908b79f93c200f96dc621a1cfef48d (patch) | |
tree | b57ce0df1b29d86e5ef72ef149fb4dbbe20878f5 | |
parent | 4611c473f1415ceee8f4da94d1ef0c878bca4e4e (diff) | |
download | gnunet-e16d72da26908b79f93c200f96dc621a1cfef48d.tar.gz gnunet-e16d72da26908b79f93c200f96dc621a1cfef48d.zip |
skip if timeout not installed
-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 |