commit b9a14817cc8df74b69c9306680613d61f7789711
parent 7af84cdf1fe1fc1311ab69b0903e656656923e04
Author: Christian Grothoff <christian@grothoff.org>
Date: Wed, 28 Apr 2021 00:32:04 +0200
also update submodules
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git 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