diff options
author | Christian Grothoff <christian@grothoff.org> | 2013-12-18 10:01:31 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2013-12-18 10:01:31 +0000 |
commit | eb32537f433f17b63a160f855e3f1fa34bb1b2e7 (patch) | |
tree | 9224d921a11067893d4738f060c2ae07aa7e643a /src/namestore/test_namestore_put.sh | |
parent | 413d5996ea86e8ced36b201919c9e79b05371acb (diff) | |
download | gnunet-eb32537f433f17b63a160f855e3f1fa34bb1b2e7.tar.gz gnunet-eb32537f433f17b63a160f855e3f1fa34bb1b2e7.zip |
-require just sh, not full bash
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 4987a9cd3..b359cc69b 100755 --- a/src/namestore/test_namestore_put.sh +++ b/src/namestore/test_namestore_put.sh | |||
@@ -1,4 +1,4 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/sh |
2 | CONFIGURATION="test_namestore_api.conf" | 2 | CONFIGURATION="test_namestore_api.conf" |
3 | trap "gnunet-arm -e -c $CONFIGURATION" SIGINT | 3 | trap "gnunet-arm -e -c $CONFIGURATION" SIGINT |
4 | 4 | ||