Re: [PATCH v2 00/10] Makefile: make generate-cmdlist.sh much faster
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Oct 23, 2021, 22:34 UTC
- Message-ID
- <xmqqsfwr8j66.fsf@gitster.g>
- In-Reply-To
- <cover-v2-00.10-00000000000-20211022T193027Z-avarab@gmail.com>
Ævar Arnfjörð Bjarmason <avarab@gmail.com> writes:
> Subject: Re: [PATCH v2 00/10] Makefile: make generate-cmdlist.sh much faster
Stale topic as there is no change to the Makefile.
> This version of this series drops the Makefile-powered version of the > cmdlist in favor of making the shellscript much faster, mostly with > suggestions from Jeff King.
OK.
I looked at the whole thing and it looked almost done, modulo just a little breakages here and there whose corrections should be fairly obvious.
Thanks.