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

This (alone) used #!/bin/bash, but does not seem to depend on it.
This commit is contained in:
Jim Wise 2013-10-13 17:23:38 -04:00
parent 4afcad7842
commit 9b69e80c82

View file

@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh
platform="${SBCL_SOFTWARE_TYPE}-${SBCL_MACHINE_TYPE}"