gnulib-tool: improve GNU Make debugging
commit8224d65142d7b8cea2b8721a7d09c2cd60d2d312
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 15 May 2017 14:41:10 +0000 (15 07:41 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 15 May 2017 14:43:11 +0000 (15 07:43 -0700)
tree9d1ae1e4466ba1afe5befe126e321c188ac2d9fe
parentda830b5146cb553ac2a4bcfe76caeb57bda24cc3
gnulib-tool: improve GNU Make debugging

* gnulib-tool (func_emit_lib_Makefile_am): Omit unnecessary echo.
Report autoconf diagnostics when it fails, in the output makefile.
ChangeLog
gnulib-tool