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 /src/gns | |
| parent | 4611c473f1415ceee8f4da94d1ef0c878bca4e4e (diff) | |
| download | gnunet-e16d72da26908b79f93c200f96dc621a1cfef48d.tar.gz gnunet-e16d72da26908b79f93c200f96dc621a1cfef48d.zip | |
skip if timeout not installed
Diffstat (limited to 'src/gns')
| -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 |