Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Run "sh ./configure" rather than "sh configure"; part of #7992
This fixes a bug with how configure re-execs itself.
- Loading branch information