summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 063a4c2..d341da5 100644
--- a/Makefile
+++ b/Makefile
@@ -140,9 +140,11 @@ endif
140 140
141include user.mk 141include user.mk
142 142
143UPGRADE_SUBMODULES = $(shell a=$$(git status -uno -s) && [ -z "$$a" ] && echo y)
144
143.PHONY: submodule $(SUBMODULES) 145.PHONY: submodule $(SUBMODULES)
144$(SUBMODULES): stack 146$(SUBMODULES): stack
145 [ -e $@/Makefile ] || git submodule update --init 147 $(if $(UPGRADE_SUBMODULES),, [ -e $@/Makefile ] ||) git submodule update --init
146 $(MAKE) -C $@ $(cmd) 148 $(MAKE) -C $@ $(cmd)
147 149
148install-submodules: cmd=install 150install-submodules: cmd=install