# 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