Re: bug#67731: bootstrap, tries to fetch files although using --no-git --skip-po and --gnulib-srcdir...

[Bruno Haible]

Pádraig Brady wrote:
> The attached adjusts bootstrap so the options are passed
> through the upgrade_bootstrap() function.

What about the upgrade_bootstrap invocation in top/bootstrap line 195?
Does it need the change as well?

Bruno