diff options
| author | Christian Grothoff <christian@grothoff.org> | 2013-12-18 10:02:15 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2013-12-18 10:02:15 +0000 |
| commit | db632b69c8c0b4265f154025bdd37c329eb2ae20 (patch) | |
| tree | 025e56b3831a79381b1f4e7b07ce10da4fc78310 /src/namestore/test_namestore_put.sh | |
| parent | eb32537f433f17b63a160f855e3f1fa34bb1b2e7 (diff) | |
-bash is in deed required
Diffstat (limited to 'src/namestore/test_namestore_put.sh')
| -rwxr-xr-x | src/namestore/test_namestore_put.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |