From 6fc283d0793c867c3ba940e1809760bc461cd64d Mon Sep 17 00:00:00 2001
From: Erich Eckner <erich.eckner.ext@bestsecret.com>
Date: Wed, 14 Aug 2024 13:58:12 +0200
Subject: build-all-with-docker: also pull submodules

---
 build-all-with-docker | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'build-all-with-docker')

diff --git a/build-all-with-docker b/build-all-with-docker
index 4c6a25dc4..f56b6570f 100755
--- a/build-all-with-docker
+++ b/build-all-with-docker
@@ -30,7 +30,7 @@ fi
 
 if [ "x$1" = 'x--pull' ]; then
   shift
-  if ! git pull --ff-only; then
+  if ! git pull --ff-only || ! git submodule foreach git pull --rebase; then
     if ! git pull --rebase \
     && git push; then
       >&2 echo 'cannot push/pull'
-- 
cgit v1.2.3-70-g09d2