diff options
Diffstat (limited to 'src/gns/test_gns_revocation.sh')
-rwxr-xr-x | src/gns/test_gns_revocation.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/gns/test_gns_revocation.sh b/src/gns/test_gns_revocation.sh index 08a0f8ac1..3c0cf02fb 100755 --- a/src/gns/test_gns_revocation.sh +++ b/src/gns/test_gns_revocation.sh | |||
@@ -1,7 +1,7 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/sh |
2 | # This file is in the public domain. | 2 | # This file is in the public domain. |
3 | trap "gnunet-arm -e -c test_gns_lookup.conf" SIGINT | 3 | trap "gnunet-arm -e -c test_gns_lookup.conf" SIGINT |
4 | which timeout &> /dev/null && DO_TIMEOUT="timeout 5" | 4 | which timeout > /dev/null 2>&1 && DO_TIMEOUT="timeout 5" |
5 | 5 | ||
6 | LOCATION=$(which gnunet-config) | 6 | LOCATION=$(which gnunet-config) |
7 | if [ -z $LOCATION ] | 7 | if [ -z $LOCATION ] |
@@ -40,7 +40,7 @@ then | |||
40 | exit 1 | 40 | exit 1 |
41 | fi | 41 | fi |
42 | 42 | ||
43 | if [ "x$RES_IP_REV" == "x" ] | 43 | if [ "x$RES_IP_REV" = "x" ] |
44 | then | 44 | then |
45 | exit 0 | 45 | exit 0 |
46 | else | 46 | else |