contrib/scripts/testbed_cleanup.sh: bashisms

diff --git a/contrib/scripts/testbed_cleanup.sh b/contrib/scripts/testbed_cleanup.sh
index 57413fba0a5510d6f81da1287fa172e6ec3a09f4..ee0200d44177f63d5a182cc07fb98480725f2851 100755 (executable)
--- a/contrib/scripts/testbed_cleanup.sh
+++ b/contrib/scripts/testbed_cleanup.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 ###################################################################################
 # Script to clean a previous run of testbed which has crashed. This scripts kills #