Re: [PATCH] bootstrap: tune Octave bootstrap --gnulib-refdir

2024-11-12 Thread Bruno Haible via Gnulib discussion list
Paul Eggert wrote: > I installed the attach patches, which use "git remote set-url"; good enough? Thanks. Yes, this performs nicely. The 'git remote set-url origin' command "unties" the clone from the specified refdir. But in the case that GNULIB_REVISION is not set, there is still a difference i

Re: [PATCH] bootstrap: tune Octave bootstrap --gnulib-refdir

2024-11-12 Thread Paul Eggert
On 2024-11-12 11:09, Bruno Haible wrote: in order to get the latest 'master', the user would have to first do a 'git pull' in the refdir, and then do a 'git pull' in the subdirectory gnulib/. This is problematic because - This is almost certainly not the intended behaviour.

Re: [PATCH] bootstrap: tune Octave bootstrap --gnulib-refdir

2024-11-12 Thread Bruno Haible via Gnulib discussion list
Hi Paul, Paul Eggert wrote: > + * top/bootstrap-funclib.sh (prepare_GNULIB_SRCDIR): > + Use GNULIB_REFDIR also when a submodule 'gnulib' is not configured. > + This greatly speeds up bootstrapping Octave when using > + ‘./bootstrap --gnulib-refdir=...’. I see two problems with thi

[PATCH] bootstrap: tune Octave bootstrap --gnulib-refdir

2024-11-12 Thread Paul Eggert
* top/bootstrap-funclib.sh (prepare_GNULIB_SRCDIR): Use GNULIB_REFDIR also when a submodule 'gnulib' is not configured. This greatly speeds up bootstrapping Octave when using ‘./bootstrap --gnulib-refdir=...’. * build-aux/bootstrap: Regenerate. --- ChangeLog| 9 ++ build-aux/b