src/Pure/build-jars
changeset 37174 6feaab4fc27d
parent 37044 d93b849cbecd
child 38227 6bbb42843b6e
     1.1 --- a/src/Pure/build-jars	Fri May 28 18:15:53 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Fri May 28 20:41:23 2010 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  }
     1.5  
     1.6  [ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"
     1.7 -[ -z "$SCALA_HOME" ] && fail "Scala unavailable: unknown SCALA_HOME"
     1.8 +[ -z "$SCALA_HOME" ] && fail "Unknown SCALA_HOME -- Scala unavailable"
     1.9  
    1.10  
    1.11  ## dependencies