diff options
author | ng0 <ng0@n0.is> | 2019-04-01 14:25:44 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-04-01 14:25:44 +0000 |
commit | ceb01c16dc8fa25e4d85c4b42652c83b024ff20a (patch) | |
tree | 97e847e3e235bfcc82e0e6a4c36bfdcde1e67d3c /contrib | |
parent | b408d8a8224ad35615ad5a2fc00d92a73c420e54 (diff) | |
download | gnunet-ceb01c16dc8fa25e4d85c4b42652c83b024ff20a.tar.gz gnunet-ceb01c16dc8fa25e4d85c4b42652c83b024ff20a.zip |
contrib/scripts/testbed_cleanup.sh: bashisms
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/scripts/testbed_cleanup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/scripts/testbed_cleanup.sh b/contrib/scripts/testbed_cleanup.sh index 57413fba0..ee0200d44 100755 --- a/contrib/scripts/testbed_cleanup.sh +++ b/contrib/scripts/testbed_cleanup.sh | |||
@@ -1,4 +1,4 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/sh |
2 | 2 | ||
3 | ################################################################################### | 3 | ################################################################################### |
4 | # Script to clean a previous run of testbed which has crashed. This scripts kills # | 4 | # Script to clean a previous run of testbed which has crashed. This scripts kills # |