* configure.ac: Tweak previous change, for make 10+
authorGlenn Morris <rgm@gnu.org>
Wed, 11 Jun 2014 03:33:34 +0000 (20:33 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 11 Jun 2014 03:33:34 +0000 (20:33 -0700)
commit6014484659f81b35f7e6340aaf5c71ffc1fca342
treeb5912a346dd62f3ba592be0a4bc3ecb2b7f403b7
parentb12e56ab01d5d1ed71190d5fbffc15017f96fe40
* configure.ac: Tweak previous change, for make 10+
configure.ac