diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-04-28 00:32:04 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-04-28 00:32:04 +0200 |
| commit | b9a14817cc8df74b69c9306680613d61f7789711 (patch) | |
| tree | dd464985a7d50cde49b34ec9aac6010322487623 | |
| parent | 7af84cdf1fe1fc1311ab69b0903e656656923e04 (diff) | |
| download | deployment-b9a14817cc8df74b69c9306680613d61f7789711.tar.gz deployment-b9a14817cc8df74b69c9306680613d61f7789711.tar.bz2 deployment-b9a14817cc8df74b69c9306680613d61f7789711.zip | |
also update submodules
| -rwxr-xr-x | buildbot/update-sources.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/buildbot/update-sources.sh b/buildbot/update-sources.sh index 1344a2e..8c95340 100755 --- a/buildbot/update-sources.sh +++ b/buildbot/update-sources.sh @@ -22,9 +22,11 @@ do git -C $P clean -fdx git -C $P fetch git -C $P reset --hard origin/master + git submodule update --init else cd $HOME/sources git clone ${BASE_URL}$n + git submodule update --init cd - fi done |