aboutsummaryrefslogtreecommitdiff
path: root/build/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2022-12-05 12:33:59 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2022-12-05 12:33:59 +0200
commit180fdc20372d6501b8fcabb66e1d3cbda02b35c9 (patch)
tree07fca93b57017063a39719609e49ac3db2367c66 /build/.gitignore
parent70e69d52e789eeda4788c061fc404ba98cea09fa (diff)
Use curl instead of wget as default fetch program
We used to prefer wget 1.16 because it has --show-progress which results in nicer progress. But experience shows that wget is quite unreliable plus with bdep always using curl, it would be strange to use both curl and wget (and expecting the user to setup proxy, authentication, etc., for both). Also add internal --curl* options to be used by bdep.
Diffstat (limited to 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions