Commit 64df57ae99c184b095cdf40024c28d6fbf3bb0f4

Bruno Haible 2001-03-05T14:55:52

Tweak DJGPP support.