# HG changeset patch
# User wenzelm
# Date 1602608104 -7200
# Node ID de11c745ebbcc1c9c4655a3467d095074a10ea36
# Parent  b32eea5823c8ee2d2f7f0e96f2313ed0112482ce
tuned messages --- less SPAM;

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