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

2023-12-10 Thread Pádraig Brady
On 10/12/2023 15:33, Bruno Haible wrote: 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? Oh I see;

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

2023-12-10 Thread 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

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

2023-12-10 Thread Pádraig Brady
On 09/12/2023 20:22, Bjarni Ingi Gislason wrote: bootstrap.loc: bootstrapping with --no-git --gnulib-srcdir=/home/bg/git/gnulib --skip-po --bootstrap-sync ./bootstrap: updating bootstrap and restarting... ./bootstrap: Bootstrapping from checked-out coreutils sources... ./bootstrap: consider