diff options
| author | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2024-08-14 13:58:12 +0200 |
|---|---|---|
| committer | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2024-08-14 13:58:12 +0200 |
| commit | 6fc283d0793c867c3ba940e1809760bc461cd64d (patch) | |
| tree | a5e8d16662d632ba395d49f64b218ef7b2be771e | |
| parent | 5b9b5c390bcfc8aa6dc7489d84d747e01380b52e (diff) | |
| download | archlinuxewe-6fc283d0793c867c3ba940e1809760bc461cd64d.tar.xz | |
build-all-with-docker: also pull submodules
| -rwxr-xr-x | build-all-with-docker | 2 |
1 files changed, 1 insertions, 1 deletions
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' |