skip if timeout not installed
authorSchanzenbach, Martin <mschanzenbach@posteo.de>
Sat, 16 Feb 2019 21:15:05 +0000 (22:15 +0100)
committerSchanzenbach, Martin <mschanzenbach@posteo.de>
Sat, 16 Feb 2019 21:15:05 +0000 (22:15 +0100)
src/gns/test_gns_rel_expiration.sh

index 66adbb63122249f3de4f5cec1fe1f7b92eb12d76..c7c66bc27016674859762a12002733322573f575 100755 (executable)
@@ -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