Commit 0bebe7285adaee2d666d3b0303c4db0d84e3f0d9

Bruno Haible 2007-03-25T18:07:11

Avoid HP-UX cc warning.