Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Document required build tool: which (JuliaLang#37494)
On minimal Linux environments `which` may not be an installed tool. Alternatively `command -v` could be used as an alternative in the Makefiles to avoid this dependency.
- Loading branch information