Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
External deps_dir should have higher priority than the config one
The external deps_dir should have higher priority because it is used by scripts and other build tools to set up the location of the dependencies. This commit ensures that, even if a project has set deps_dir in its config file has lower preference than the command line one.
- Loading branch information