Sync git submodules to ensure they are up to date.

2026-03-25 17:58:40 +00:00 · 2018-09-07 20:41:48 +02:00
parent f8289af876
commit 24bdaea577
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@@ -190,6 +190,7 @@ tools/supdup/supdup:
 	$(MAKE) -C tools/supdup

 $(SMF):
+	$(GIT) submodule sync `dirname $@`
 	$(GIT) submodule update --init `dirname $@`

 tools/simh/BIN/pdp11: