Commit b9ac117d authored by Ralf Jung's avatar Ralf Jung
Browse files

retry downloads a few times

parent 3ef96034
......@@ -5,6 +5,7 @@ export OPAMROOT="$(pwd)/opamroot"
export OPAMJOBS="$((2*$CPU_CORES))"
export OPAM_EDITOR="$(which false)"
export OPAMDROPWORKINGDIR=1
export OPAMRETRES=3
# Delete OPAM 1.2 root, if that's what we got
if test -d "$OPAMROOT" && fgrep 'opam-version: "1.2"' "$OPAMROOT/config" -q; then
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment