Ting-Wei Lan b2e75b5da0 build: Don't hardcode the path of bash ... Bash is not always installed in /bin and we should not hardcode the path of it in source code which is expected to be built on many operating systems and distributions. Since most scripts using #!/bin/bash here doesn't have any bashism, they can be converted to #!/bin/sh instead of using /usr/bin/env trick.		2018-12-01 12:56:12 +00:00
..
gen-test-unit-names.sh	build: Don't hardcode the path of bash	2018-12-01 12:56:12 +00:00