For consistency with other shell scripts here, use #!/bin/sh.

This (alone) used #!/bin/bash, but does not seem to depend on it.

diff --git a/tests/run-compiler.sh b/tests/run-compiler.sh
index dbc01f9..068b538 100755 (executable)
--- a/tests/run-compiler.sh
+++ b/tests/run-compiler.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 platform="${SBCL_SOFTWARE_TYPE}-${SBCL_MACHINE_TYPE}"