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