lib/Tools/scala
changeset 34297 5c0a2583f997
parent 34282 549969a7f582
child 37174 6feaab4fc27d
     1.1 --- a/lib/Tools/scala	Sat Jan 09 16:31:19 2010 +0100
     1.2 +++ b/lib/Tools/scala	Sat Jan 09 18:22:40 2010 +0100
     1.3 @@ -4,7 +4,7 @@
     1.4  #
     1.5  # DESCRIPTION: invoke Scala within the Isabelle environment
     1.6  
     1.7 -[ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
     1.8 +[ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
     1.9  
    1.10  CLASSPATH="$(jvmpath "$CLASSPATH")"
    1.11  exec "$ISABELLE_SCALA" "$@"