Commit 4946de4b49ef2de80c782fd2d7ca8847cb692774

Tom Tromey 1996-11-20T02:09:10

Fix for AIX /bin/make. Another bug fix