From 67ebbcc02dd81d8c4b0dba55b1d8790ea786b261 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Fri, 6 Sep 2019 11:38:30 +0200
Subject: [PATCH] keep external repo up to date

---
 modules/remo2hbo.mk | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/modules/remo2hbo.mk b/modules/remo2hbo.mk
index e4c3a2d..d82278e 100644
--- a/modules/remo2hbo.mk
+++ b/modules/remo2hbo.mk
@@ -99,8 +99,9 @@ gummikraken_clone:
 	[ -d gummikraken/.git ] || git clone https://git.tools.f4.htw-berlin.de/phaensch/gummikraken.git "gummikraken/"
 
 gummikraken/: gummikraken_clone
+	-git -C $@ pull
 	-git -C $@ submodule init
-	git -C $@ submodule update --remote
+	-git -C $@ submodule update --remote
 
 teesock/teesock.arm: teesock/
 	make -C $< "$(notdir $@)"
-- 
2.39.2