Skip to content

Commit

Permalink
Prefer curl over any other download tools on every systems, if available
Browse files Browse the repository at this point in the history
  • Loading branch information
kit-ty-kate committed Nov 18, 2024
1 parent ee8c8d0 commit 0ad7029
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/repository/opamRepositoryConfig.ml
Original file line number Diff line number Diff line change
Expand Up @@ -60,8 +60,8 @@ let default = {
let curl = "curl", `Curl in
let tools =
match os with
| FreeBSD | DragonFly -> ["fetch", `Default; curl]
| OpenBSD | NetBSD -> ["ftp", `Default; curl]
| FreeBSD | DragonFly -> [curl; "fetch", `Default]
| OpenBSD | NetBSD -> [curl; "ftp", `Default]
| Linux | Darwin | Cygwin | Win32
| Unix | Other _ -> [curl; "wget", `Default]
in
Expand Down

0 comments on commit 0ad7029

Please sign in to comment.