projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4365cdd) | patch
Follow redirects with cURL in contrib/get* scripts (#2471)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 17 Sep 2018 19:16:07 +0000 (12:16 -0700)
committerGitHub <noreply@github.com>
Mon, 17 Sep 2018 19:16:07 +0000 (12:16 -0700)
commitfc07d6af4156fde8af048ca5db8ff1f43de48ebc
tree3a6a102e9fd9558562a787ca3fc1537b07177df9tree
parent4365cdd8c582e2d1a3d406f5395d4950270f8c83commit | diff
Follow redirects with cURL in contrib/get* scripts (#2471)

On systems without `wget`, we use `curl` to download dependencies.
However, we were not using the `-L` (follow redirects) option, which is
necessary to download certain dependencies, e.g. CryptoMiniSat.
contrib/get-script-header.sh diff | blob | history