On Sun, Oct 05, 2025 at 06:36:10PM -0600, Eduardo Chappa wrote: > i am unable to reproduce the issue right now. Please ping me later so that > I can retest again. My opensuse 15.6 does not have make 4.4, so I cannot > test at this moment. > > If, however, you would like to submit a fix, do not hesitate to do so.
Hello. Sorry, we don't have a fix for now, but I forgot that there is an easy workaround for the case your distribution does not include make 4.4 yet: You can download the official tarball from the GNU ftp site: https://ftp.gnu.org/gnu/make/make-4.4.1.tar.gz and then compile it with "./configure; make", as always. In this case only the generated "make" executable is required, so you can just put it in /usr/local/bin (assuming it's early in your PATH) and forget completely about "make install" and anything else. Thanks.

