> I haven't tried it yet but the 'cygwin32' looks suspicsious to me, > i.e., the 32, to my understanding that '32' was removed years ago.. We should probably use the Windows-specific setting unconditionally. -- Eric Botcazou