challenger

commit 85f2b8a7ddb7917a1b05ece0af966fd1d6442b90
parent 751631a07eda6f773e61185ad0bb17aad3fc7509
Author: Christian Grothoff <christian@grothoff.org>
Date:   Mon, 11 Sep 2023 22:24:45 +0200

update submodules from remote

Diffstat:
M
bootstrap
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bootstrap b/bootstrap
@@ -6,7 +6,7 @@ if ! git --version >/dev/null; then
 fi
 
 echo "$0: Updating submodules"
-echo | git submodule update --init
+echo | git submodule update --init --force --remote
 
 # This is more portable than `which' but comes with
 # the caveat of not(?) properly working on busybox's ash: