diff options
author | Christian Grothoff <christian@grothoff.org> | 2023-09-11 22:24:07 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2023-09-11 22:24:07 +0200 |
commit | 8261992cf6ba5ffc855b58096c133e5d2a1d4594 (patch) | |
tree | b4019086ead8fc0dda9aac21fec8a4d65a1c4d87 | |
parent | 31b317de5945edda959fd653606e9d1bda260d14 (diff) |
update submodules from remote
-rwxr-xr-x | bootstrap | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |