Am 05.06.2017 um 00:24 schrieb Mathieu Lirzin:
I suspect this issue has already been fixed in the Git repository, see:https://git.savannah.gnu.org/cgit/automake.git/commit/?h=micro&id=13f00eb4493c217269b76614759e452d8302955e
Indeed, Paul Eggert applied a fix in March 2016.
This will be fixed in the next micro release, that I expect to be able to make this summer.
Good to hear that.