From 2521cacb513bd59e95dc61746e7e0d0d761dcdc4 Mon Sep 17 00:00:00 2001
From: Ron Evans <ron@hybridgroup.com>
Date: Mon, 16 Mar 2020 23:57:05 +0100
Subject: [PATCH] docker: use git submodule sync to handle case where repo url
 changes

Signed-off-by: Ron Evans <ron@hybridgroup.com>
---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile b/Dockerfile
index 7b664979..9a90d764 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -12,6 +12,7 @@ COPY . /tinygo
 # after copying the tinygo directory in the previous step.
 RUN cd /tinygo/ && \
     rm -rf ./lib/* && \
+    git submodule sync && \
     git submodule update --init --recursive --force
 
 RUN cd /tinygo/ && \