Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix bash command line in build script (#23)
On some systems, /bin/sh points to dash, which does not support some bash constructs, like `${BASH_SOURCE[0]}`. Change #! line to /bin/bash instead. Add -e option to stop upon first command that fails. Co-authored-by: Joel E. Denny <[email protected]>
- Loading branch information