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 # |