Fix previous change.
commite9bc61b072df081624b7287ad118be330c7de37f
authorGlenn Morris <rgm@gnu.org>
Fri, 17 Jun 2011 17:32:58 +0000 (17 13:32 -0400)
committerGlenn Morris <rgm@gnu.org>
Fri, 17 Jun 2011 17:32:58 +0000 (17 13:32 -0400)
treefa472df0e5121d27e1abbec48450fcf05d1bac76
parent3a4725e11e57f17146b11463d04a83efda038df1
Fix previous change.
configure.in