Commit 61175dcbfcbfbf537dd9acde34a146d5a32aa1aa

Bruno Haible 2008-04-12T17:10:44

Fix mistake in EMX port.