Patch to trigger make $(BUILT_SOURCES) from make install-exec

madmurphy <[email protected]>
Newsgroups gmane.comp.sysutils.automake.patches
Message-ID <CAExyPMePRM1rpeGk_k5oDn10_k28o7KoZ4dWcMtABLNm+sKK+g@mail.gmail.com>
Today I have reported a bug at [email protected] (see bug #43683
<https://debbugs.gnu.org/cgi/bugreport.cgi?bug=43683> – please use this link
<https://debbugs.gnu.org/cgi/bugreport.cgi?msg=5;att=1;bug=43683> for a
better rendering of the HTML). However I have written in the meanwhile a
patch that solves the problem, and I guess this is the place where to
submit it. Please find it attached.

--madmurphy
patch.tar.xz (application/x-xz, 1.8 KB) - not displayed
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.