On Thu, Jun 20, 2024 at 10:15 PM <[email protected]> wrote:
> Tommy Murphy:
> > Are you sure that you're not using a very old clone of the repo?
> > The JimTcl submodule was switched from https://repo.or.cz/jimtcl.git to
> https://github.com/msteveb/jimtcl.git back in December 2020.
>
> Thanks, that was probably the problem.
> Doing the switch make bootstrap work without failure.
>
Yes, we switched repo, but I also met this issue after the switch.
I have run some quick test, and I cannot find any bad impact when adding
one line in bootstrap
echo "Setting up submodules"
git submodule init
+ git submodule sync
git submodule update
Should we add it?
Karl,
would you like to propose it as a patch in gerrit?
We can move the discussion to the gerrit review.
Regards,
Antonio
