Fixes automake bug https://bugs.gnu.org/10828.
Hi Mike - this change looks good to me. Good catches finding these. Please commit. --thanks, karl.
Fixes automake bug https://bugs.gnu.org/10828.
Hi Mike - this change looks good to me. Good catches finding these. Please commit. --thanks, karl.