diff -r b32eea5823c8 -r de11c745ebbc lib/scripts/getfunctions
--- a/lib/scripts/getfunctions	Tue Oct 13 17:34:15 2020 +0200
+++ b/lib/scripts/getfunctions	Tue Oct 13 18:55:04 2020 +0200
@@ -38,7 +38,7 @@
     echo "Unknown ISABELLE_OPAM -- OCaml management tools unavailable" >&2
     return 127
   else
-    env OPAMROOT="$ISABELLE_OPAM_ROOT" "$ISABELLE_OPAM" "$@"
+    env OPAMROOT="$ISABELLE_OPAM_ROOT" OPAMCOLOR="never" "$ISABELLE_OPAM" "$@"
   fi
 }
 export -f isabelle_opam