mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-03-18 21:05:26 -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.