From 9b69e80c82ef126a8f9c120113d4e75b17845f13 Mon Sep 17 00:00:00 2001 From: Jim Wise Date: Sun, 13 Oct 2013 17:23:38 -0400 Subject: [PATCH] For consistency with other shell scripts here, use #!/bin/sh. This (alone) used #!/bin/bash, but does not seem to depend on it. --- tests/run-compiler.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/run-compiler.sh b/tests/run-compiler.sh index dbc01f9..068b538 100755 --- 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}" -- 1.7.10.4