Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The configure script is a csh script. Add csh to USE_TOOLS and set
CONFIG_SHELL accordingly. This fixes PR 33903.
- Loading branch information