mirror of
https://github.com/curl/curl.git
synced 2025-03-19 15:40:42 +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