[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.