From e16d72da26908b79f93c200f96dc621a1cfef48d Mon Sep 17 00:00:00 2001 From: "Schanzenbach, Martin" Date: Sat, 16 Feb 2019 22:15:05 +0100 Subject: [PATCH] skip if timeout not installed --- src/gns/test_gns_rel_expiration.sh | 7 +++++++ 1 file changed, 7 insertions(+) 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 ] then LOCATION="gnunet-config" fi + +if [ -z $(which timeout) ] +then + echo "timeout utility not found which is required for test." + exit 77 +fi + $LOCATION --version 1> /dev/null if test $? != 0 then -- 2.25.1