Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/ocaml_setup
changeset 69924 512ac874bb9d
parent 69911 036037573080
child 69928 3ed262d72468 
--- a/lib/Tools/ocaml_setup	Tue Mar 19 16:14:59 2019 +0000
+++ b/lib/Tools/ocaml_setup	Wed Mar 20 17:33:06 2019 +0100
@@ -6,7 +6,7 @@
 
 set -e
 
-if [ -d "$ISABELLE_OPAM_ROOT" ]
+if [ -e "$ISABELLE_OPAM_ROOT/config" ]
 then
   isabelle_opam switch "$ISABELLE_OCAML_VERSION"
 else
isabelle