diff options
author | José Valim <jose.valim@plataformatec.com.br> | 2013-06-18 00:28:52 +0300 |
---|---|---|
committer | José Valim <jose.valim@plataformatec.com.br> | 2013-06-18 00:28:52 +0300 |
commit | e467642476266b259be93ce6750bc27daeb57cee (patch) | |
tree | 6cab2711b3f530664a8b3ff4749c1d404957b5cb /ebin | |
parent | 16eed82ae4b04cc9ac0d6542918c79c3988470d2 (diff) |
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.
Diffstat (limited to 'ebin')
0 files changed, 0 insertions, 0 deletions