REST: nothing triggers rest

[oweals/gnunet.git] / src / gns / test_gns_revocation.sh

diff --git a/src/gns/test_gns_revocation.sh b/src/gns/test_gns_revocation.sh
index 12f0c088143183010df10dd74216994472bac438..3c0cf02fb0473dcbcddd43983a85799180a6c360 100755 (executable)
--- a/src/gns/test_gns_revocation.sh
+++ b/src/gns/test_gns_revocation.sh
@@ -1,6 +1,7 @@
-#!/bin/bash
+#!/bin/sh
+# This file is in the public domain.
 trap "gnunet-arm -e -c test_gns_lookup.conf" SIGINT
-which timeout &> /dev/null && DO_TIMEOUT="timeout 5"
+which timeout > /dev/null 2>&1 && DO_TIMEOUT="timeout 5"
 
 LOCATION=$(which gnunet-config)
 if [ -z $LOCATION ]
@@ -39,7 +40,7 @@ then
   exit 1
 fi
 
-if [ "x$RES_IP_REV" == "x" ]
+if [ "x$RES_IP_REV" = "x" ]
 then
   exit 0
 else