[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fetch from existing gnulib Git repository if needed
|
From: |
Markus Mützel |
|
Subject: |
Re: Fetch from existing gnulib Git repository if needed |
|
Date: |
Mon, 29 Apr 2024 08:19:15 +0200 |
Hi Bruno,
Bruno Haible wrote:
> Markus Mützel wrote:
> > However, it looks like $GNULIB_SRCDIR is empty for us. So, the change
> > doesn't seem to make a difference. Executing bootstrap after a revision
> > bump still fails if the bootstrap script was already run before.
>
> Oh, there were two 'git checkout' commands and I enhanced only one of them...
>
> Should now be fixed, like this. Thanks for the feedback!
Thank you for the quick fix. It seems to automatically fetch if needed for us
now.
Markus