Commit bdd582ab84ce6e7cb3403941aef1e616e0e97ccd

Bruno Haible 2000-11-23T13:09:54

Fix one more build problem.