exchange

commit 8261992cf6ba5ffc855b58096c133e5d2a1d4594
parent 31b317de5945edda959fd653606e9d1bda260d14
Author: Christian Grothoff <christian@grothoff.org>
Date:   Mon, 11 Sep 2023 22:24:07 +0200

update submodules from remote

Diffstat:
M
bootstrap
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bootstrap b/bootstrap
@@ -16,7 +16,7 @@ fi
 
 
 echo "$0: Updating submodules"
-echo | git submodule update --init
+echo | git submodule update --init --force --remote
 
 # Generate based on pinned submodule
 ./contrib/gana-generate.sh