Emit a stub for gl_LIBTOOL: we want to cache whether --libtool was specified.
authorBruno Haible <bruno@clisp.org>
Wed, 31 Aug 2005 20:46:59 +0000 (20:46 +0000)
committerBruno Haible <bruno@clisp.org>
Wed, 31 Aug 2005 20:46:59 +0000 (20:46 +0000)
commit2bcce921b7ae84bcf3386373c55ae3de3e45bfb1
tree1286065b0600a617dff3804a0030ff5f817a2bcf
parent0f03f7bb362958679876efa4767dec145d32d5f5
Emit a stub for gl_LIBTOOL: we want to cache whether --libtool was specified.
ChangeLog
gnulib-tool