For consistency with other shell scripts here, use #!/bin/sh.
authorJim Wise <jwise@draga.com>
Sun, 13 Oct 2013 21:23:38 +0000 (17:23 -0400)
committerJim Wise <jwise@draga.com>
Sun, 13 Oct 2013 21:23:38 +0000 (17:23 -0400)
commit9b69e80c82ef126a8f9c120113d4e75b17845f13
treebc7cf3d1a7949cb1c60aeb7e3d7fab607307411a
parent4afcad784283623d52b8723c1706b53d784c3053
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