| changeset 37180 | d47fe9260c24 |
| parent 37174 | 6feaab4fc27d |
| child 38227 | 6bbb42843b6e |
--- a/src/Pure/build-jars Fri May 28 19:36:48 2010 +0100 +++ b/src/Pure/build-jars Fri May 28 22:34:21 2010 +0200 @@ -16,7 +16,7 @@ } [ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment" -[ -z "$SCALA_HOME" ] && fail "Scala unavailable: unknown SCALA_HOME" +[ -z "$SCALA_HOME" ] && fail "Unknown SCALA_HOME -- Scala unavailable" ## dependencies