|
From: | Karl Berry |
Subject: | Re: Patch to trigger make $(BUILT_SOURCES) from make install-exec |
Date: | Tue, 29 Sep 2020 16:58:14 -0600 |
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=43683 Thanks much for the report and patch. Looks sensible. Can you provide a test case (example configure.ac + Makefile.am + tree) that exposes the problem (and thus verifies the patch)? Thanks again, Karl
[Prev in Thread] | Current Thread | [Next in Thread] |