Re: Build failure from git HEAD

2022-06-13 Thread Paul Eggert
Thanks for reporting that. I installed the attached to fix it.From 9f0e54ab2fcae945eef441ebb0d217bbccc6c75b Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 13 Jun 2022 16:49:55 -0700 Subject: [PATCH] =?UTF-8?q?Fix=20=E2=80=98make=20dist-xz=E2=80=99=20bug?= MIME-Version: 1.0 Content-Type: te

Re: Build failure from git HEAD

2022-06-13 Thread Pavel Raiskup
On Tuesday, June 14, 2022 1:51:18 AM CEST Paul Eggert wrote: > Thanks for reporting that. I installed the attached to fix it. Indeed helped. Thank you, Paul. Pavel