Your message dated Tue, 6 Oct 2020 19:18:55 -0600
with message-id <202010070118.0971ItIE025146@freefriends.org>
and subject line Re: bug#43683: make install-exec does not trigger make $(BUILT_SOURCES)
has caused the debbugs.gnu.org bug report #43683,
regarding make install-exec does not trigger make $(BUILT_SOURCES)
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
43683: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=43683
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems