Avoiding the "./configure && make && make distclean" did not work most of the
authorBruno Haible <bruno@clisp.org>
Sat, 10 Mar 2007 15:20:28 +0000 (15:20 +0000)
committerBruno Haible <bruno@clisp.org>
Sat, 10 Mar 2007 15:20:28 +0000 (15:20 +0000)
commit67323e00d04e4790947f0f0b0ac8c244769008a2
treefe6ccbd4c7432c8e343ad0aabcb034dc02607152
parent8debab49f4eeb1ba275d64c7c7b618ddc2ec197d
Avoiding the "./configure && make && make distclean" did not work most of the
time.
ChangeLog
gnulib-tool