From 6b213a52bf48af590fd65dfd95d8fc949ac5f1e5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Wed, 5 Dec 2018 22:27:02 +0100
Subject: SKIP_DEPS should also skip shell deps

---
 plugins/shell.mk | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'plugins')

diff --git a/plugins/shell.mk b/plugins/shell.mk
index 715523c..7c1f8e6 100644
--- a/plugins/shell.mk
+++ b/plugins/shell.mk
@@ -23,6 +23,9 @@ help::
 
 $(foreach dep,$(SHELL_DEPS),$(eval $(call dep_target,$(dep))))
 
+ifneq ($(SKIP_DEPS),)
+build-shell-deps:
+else
 build-shell-deps: $(ALL_SHELL_DEPS_DIRS)
 	$(verbose) set -e; for dep in $(ALL_SHELL_DEPS_DIRS) ; do \
 		if [ -z "$(strip $(FULL))" ] && [ ! -L $$dep ] && [ -f $$dep/ebin/dep_built ]; then \
@@ -32,6 +35,7 @@ build-shell-deps: $(ALL_SHELL_DEPS_DIRS)
 			if [ ! -L $$dep ] && [ -d $$dep/ebin ]; then touch $$dep/ebin/dep_built; fi; \
 		fi \
 	done
+endif
 
 shell:: build-shell-deps
 	$(gen_verbose) $(SHELL_ERL) -pa $(SHELL_PATHS) $(SHELL_OPTS)
-- 
cgit v1.2.3