changeset 37746 | 39253da888c1 |
parent 37702 | abd5e69bd8cd |
child 39780 | 2f43fffbba1a |
--- a/src/Tools/Code/etc/settings Thu Jul 08 16:19:24 2010 +0200 +++ b/src/Tools/Code/etc/settings Thu Jul 08 16:20:03 2010 +0200 @@ -4,9 +4,11 @@ EXEC_GHC=$(choosefrom \ "$ISABELLE_HOME/contrib/ghc" \ "$ISABELLE_HOME/../ghc" \ - $(type -p ghc)) + $(type -p ghc) \ + "") EXEC_OCAML=$(choosefrom \ "$ISABELLE_HOME/contrib/ocaml" \ "$ISABELLE_HOME/../ocaml" \ - $(type -p ocaml)) + $(type -p ocaml) \ + "")