diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2024-01-08 17:01:15 +0100 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2024-01-08 17:01:21 +0100 |
commit | 3c0f64ea2b73f3ed1bdc930195fdfac55a85a941 (patch) | |
tree | 5a634d362ebe46e73d6c26630fa0f1623dfc4fea | |
parent | 1b6c11d4856b8dd41056b314f823c916ff84b989 (diff) | |
download | gnunet-3c0f64ea2b73f3ed1bdc930195fdfac55a85a941.tar.gz gnunet-3c0f64ea2b73f3ed1bdc930195fdfac55a85a941.zip |
build: fix git submodule init and update
-rwxr-xr-x | bootstrap | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -96,8 +96,7 @@ submodules() | |||
96 | if ! git --version >/dev/null; then | 96 | if ! git --version >/dev/null; then |
97 | echo "git not installed, skipping submodule update" | 97 | echo "git not installed, skipping submodule update" |
98 | else | 98 | else |
99 | git submodule update --init --recursive && \ | 99 | git submodule update --init --force --remote |
100 | git submodule sync --recursive | ||
101 | fi | 100 | fi |
102 | } | 101 | } |
103 | 102 | ||