bug#11524: ping on automake bug#11524

[Stefano Lattarini]

Resurrecting an oldish bug report:
<http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11524>

Hi Dagobert.

Can you still reproduce the failures reported in bug#11524 with the
latest Automake version (1.12.3)?  If not, I will close the bug.

Regards,
  Stefano