diff options
author | Nick Brassel <nick@tzarc.org> | 2022-08-13 23:23:32 +1000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-13 23:23:32 +1000 |
commit | dccb8ff7d6e2d73f0592c30e9f8498dcbf17c9e1 (patch) | |
tree | c68637cb82b0e2508efddfe8ba2ae970b737bb57 /Makefile | |
parent | b881778f53217141c3fe0eee5e8c406ccb94cf9b (diff) |
Remove old submodules if present (#17930)
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -428,9 +428,15 @@ lib/%: .PHONY: git-submodule git-submodule: + [ -e lib/ugfx ] && rm -rf lib/ugfx || true + [ -e lib/pico-sdk ] && rm -rf lib/pico-sdk || true + [ -e lib/chibios-contrib/ext/mcux-sdk ] && rm -rf lib/chibios-contrib/ext/mcux-sdk || true git submodule sync --recursive git submodule update --init --recursive --progress +.PHONY: git-submodules +git-submodules: git-submodule + .PHONY: list-keyboards list-keyboards: util/list_keyboards.sh | sort -u | tr '\n' ' ' |