Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
build: Use bash instead of sh in configure
In some environments, configure script may fail as follows: $ ./configure --prefix=$HOME/usr ./configure: 32: ./configure: Bad substitution This patch changes the shell from sh to bash explicitly to fix this. Signed-off-by: Honggyu Kim <[email protected]>
- Loading branch information