[Top][All Lists]

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

Re: Goodbye to GNU make's "build.sh" ... ?

From: Dmitry Goncharov
Subject: Re: Goodbye to GNU make's "build.sh" ... ?
Date: Sun, 26 Jun 2022 22:00:45 -0400

On Sunday, June 26, 2022, Paul Smith <psmith@gnu.org> wrote

I would prefer to have that fixed in gnulib, than continue to maintain
a local copy just to avoid this issue.

Then there is no choice to drop gnulib and build.sh should go.
Since you asked for opinions, my opinion is that maintaining a mini make along with the real make can complicate the release procedure.
It is not clear that anybody would benefit from a mini make. What was the original driving force to introduce build.sh?

Seems like it's not so much that the patch was rejected; indeed they
seem to agree there's a bug.  But they wanted more work on it and it
sort of fell apart.  I have no idea how much effort it would be to push
hard enough to get a change merged.

reply via email to

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