Fixes automake bug https://bugs.gnu.org/10828.

Hi Mike - this change looks good to me. Good catches finding these.
Please commit. --thanks, karl.



Reply via email to