diff options
author | MS <ms@taler.net> | 2021-05-28 22:56:38 +0200 |
---|---|---|
committer | MS <ms@taler.net> | 2021-05-28 22:56:38 +0200 |
commit | 97f8effb7cbbaff0a9fbba125d11366adad04ef1 (patch) | |
tree | 74ca340cc2dc47b1665fcfdd48dd8971c0dcf30d /bootstrap | |
parent | 968fa4607bdcf332df58ddadc51b0811b7d2d706 (diff) |
Force-pull submodules: no development happens in submodules.
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 +echo | git submodule update --init --force # This is more portable than `which' but comes with |