diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-15 13:25:13 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-15 13:25:13 +0000 |
| commit | 7443b0fbeb11f59539be6d374d5a1483c2edf13c (patch) | |
| tree | 1780dcacffb23d4b588043edef95ee2b6be762ba /reproduce/analysis/make | |
| parent | 4ba552ec163574ff25fef6b4134e0c77342fcc53 (diff) | |
Many network-related libraries ignored in Wget and cURL
Wget and cURL depend on many network related libraries by default and if
they are present on the host operating system, they will be linked
with. This causes problems for the pipeline when these libraries are
updated on the host system.
With this commit, I went through the configure time options of both Wget
and cURL and removed any library that didn't seem related to merely
downloading of files (possibly with SSL, because we do build OpenSSL in the
pipeline).
Also, I noticed a new version of cURL has come, so that is also updated.
Diffstat (limited to 'reproduce/analysis/make')
0 files changed, 0 insertions, 0 deletions