mirror of
https://github.com/curl/curl.git
synced 2025-03-31 16:00:35 +08:00
Better handle options conflicts that can occur if --enable-pthreads. Bug: https://github.com/curl/curl/pull/1295 Reported-by: Marc-Antoine Perennou