mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-04-10 07:38:06 -05:00

On Windows, configure-style checks are a bit slow, so it's worth avoiding unnecessary ones if possible. I was testing for three different header file names that are alternatives to each other, so it makes sense to stop as soon as we find a usable one.