diff options
| author | Damien George <damien.p.george@gmail.com> | 2019-10-14 12:09:06 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-10-15 17:14:41 +1100 |
| commit | d7a9388fe0ac3b6df9e5994da1343488b17469cd (patch) | |
| tree | dbe549dfc45d707827cb753574d8f038fd5da20a /py | |
| parent | 3ee71ff314c33410964edff6e12ffc638d2df661 (diff) | |
ports: Add new make target "submodules" which inits required modules.
Diffstat (limited to 'py')
| -rw-r--r-- | py/mkrules.mk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/py/mkrules.mk b/py/mkrules.mk index f9d77c317..a75c64db9 100644 --- a/py/mkrules.mk +++ b/py/mkrules.mk @@ -143,6 +143,13 @@ clean-prog: .PHONY: clean-prog endif +submodules: + $(ECHO) "Updating submodules: $(GIT_SUBMODULES)" +ifneq ($(GIT_SUBMODULES),) + $(Q)git submodule update --init $(addprefix $(TOP)/,$(GIT_SUBMODULES)) +endif +.PHONY: submodules + LIBMICROPYTHON = libmicropython.a # We can execute extra commands after library creation using |