* configure.in: Tweak previous change.
authorGlenn Morris <rgm@gnu.org>
Wed, 29 Jun 2011 03:21:14 +0000 (20:21 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 29 Jun 2011 03:21:14 +0000 (20:21 -0700)
commitd34a9bb38f1f3337e7308c36601ddc2d25584ce1
tree97f93fcd2a90a6237aa24aa4dc70accb40262fdf
parentadbc4ef4b5b969044cdb37cd9a18ed32d766e860
* configure.in: Tweak previous change.
configure.in