diff options
author | Christian Grothoff <christian@grothoff.org> | 2023-09-11 22:23:53 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2023-09-11 22:23:53 +0200 |
commit | d0b27e71a71ab44058fb148754363c6fd2286dcf (patch) | |
tree | c787caf4b6ea3bdf66cf856b84f01e78a8496929 /bootstrap | |
parent | ceca64a112b48fa4ace96f19cba06fc44357e69c (diff) |
update submodules from remote
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ if ! git --version >/dev/null; then fi echo "$0: Updating submodules" -echo | git submodule update --init --force +echo | git submodule update --init --force --remote # This is more portable than `which' but comes with |