aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/bash
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-01-15 13:25:13 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-01-15 13:25:13 +0000
commit7443b0fbeb11f59539be6d374d5a1483c2edf13c (patch)
tree1780dcacffb23d4b588043edef95ee2b6be762ba /reproduce/src/bash
parent4ba552ec163574ff25fef6b4134e0c77342fcc53 (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/src/bash')
0 files changed, 0 insertions, 0 deletions