poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: bootstrap bug fix


From: Jose E. Marchesi
Subject: Re: bootstrap bug fix
Date: Tue, 18 Jan 2022 21:21:31 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)

Hi Luca.

> I noticed that when bootstrapping poke using --no-git --jitter-srcdir
> poke's bootstrap script *requires* --gnulib-srcdir , but then uses the
> given directory only for bootstrapping poke, ignoring it for Jitter.
>
> This patch fixes the anomaly, and adds a few forgotten quotations.
>
> Is this reasonable for master?

OK.
Thanks for fixing this.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]