From 24bdaea577d1daec116b6fff1dc89c25eca2834d Mon Sep 17 00:00:00 2001
From: Lars Brinkhoff <lars@nocrew.org>
Date: Fri, 7 Sep 2018 20:41:48 +0200
Subject: [PATCH] Sync git submodules to ensure they are up to date.

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 662def73..59096e41 100644
--- a/Makefile
+++ b/Makefile
@@ -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: