diff options
author | Loïc Hoguin <[email protected]> | 2015-09-29 18:49:00 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2015-09-29 18:49:00 +0200 |
commit | ab30e05396a0704e975f3539071d677e38e011ec (patch) | |
tree | 9bc7c486e0faae065bd786527ce6202805530515 /core | |
parent | 7cac447fb151e57c49660a76a6eb4ccca019ff58 (diff) | |
download | erlang.mk-ab30e05396a0704e975f3539071d677e38e011ec.tar.gz erlang.mk-ab30e05396a0704e975f3539071d677e38e011ec.tar.bz2 erlang.mk-ab30e05396a0704e975f3539071d677e38e011ec.zip |
Add a test for SKIP_DEPS
Also don't delete DEPS_DIR if SKIP_DEPS is set.
Diffstat (limited to 'core')
-rw-r--r-- | core/deps.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/core/deps.mk b/core/deps.mk index 8bc7b44..18ae0f8 100644 --- a/core/deps.mk +++ b/core/deps.mk @@ -605,10 +605,12 @@ distclean-apps: done endif +ifndef SKIP_DEPS distclean:: distclean-deps distclean-deps: $(gen_verbose) rm -rf $(DEPS_DIR) +endif # External plugins. |