diff options
| -rwxr-xr-x | src/namestore/test_namestore_delete.sh | 2 | ||||
| -rwxr-xr-x | src/namestore/test_namestore_lookup.sh | 2 | ||||
| -rwxr-xr-x | src/namestore/test_namestore_put.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/namestore/test_namestore_delete.sh b/src/namestore/test_namestore_delete.sh index fb9c2681c6..5f9a6890a7 100755 --- a/src/namestore/test_namestore_delete.sh +++ b/src/namestore/test_namestore_delete.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash CONFIGURATION="test_namestore_api.conf" trap "gnunet-arm -e -c $CONFIGURATION" SIGINT diff --git a/src/namestore/test_namestore_lookup.sh b/src/namestore/test_namestore_lookup.sh index 936fb86217..18b8eed3e3 100755 --- a/src/namestore/test_namestore_lookup.sh +++ b/src/namestore/test_namestore_lookup.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash CONFIGURATION="test_namestore_api.conf" trap "gnunet-arm -e -c $CONFIGURATION" SIGINT diff --git a/src/namestore/test_namestore_put.sh b/src/namestore/test_namestore_put.sh index b359cc69b2..4987a9cd3f 100755 --- a/src/namestore/test_namestore_put.sh +++ b/src/namestore/test_namestore_put.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash CONFIGURATION="test_namestore_api.conf" trap "gnunet-arm -e -c $CONFIGURATION" SIGINT |