From e081ac71e05296a692ff60a5ae380a4c77e82988 Mon Sep 17 00:00:00 2001 From: Kate Date: Tue, 1 Oct 2019 10:49:52 +0100 Subject: [PATCH] Force precise tracking to mitigate (ocaml/opam#3997) --- opam-ci-install | 1 + 1 file changed, 1 insertion(+) diff --git a/opam-ci-install b/opam-ci-install index 893f44a..9670324 100755 --- a/opam-ci-install +++ b/opam-ci-install @@ -24,6 +24,7 @@ elif [ $version -eq 2 ]; then cmd opam remote cmd opam list export OPAMERRLOGLEN=0 + export OPAMPRECISETRACKING=1 cmd opam remove -y $1 cmd opam depext -uivyj 2 $1 exitcode=$?