Commit 4ddc433fc7b7dde0cbc0a1fb105792660d71c06e

Tom Tromey 1997-10-20T22:14:52

libtool 1.0d fix