mirror of
https://github.com/curl/curl.git
synced 2025-03-19 15:40:42 +08:00
Otherwise, they are removed in the final configure file. Also changed sed to "$SED" like in most other calls in this file.
Otherwise, they are removed in the final configure file. Also changed sed to "$SED" like in most other calls in this file.