equal
deleted
inserted
replaced
10 classpath "$CLASSPATH"; export CLASSPATH="" |
10 classpath "$CLASSPATH"; export CLASSPATH="" |
11 |
11 |
12 export jvm_cp_args="$(platform_path "$ISABELLE_CLASSPATH")" |
12 export jvm_cp_args="$(platform_path "$ISABELLE_CLASSPATH")" |
13 export JAVA_OPTS="$ISABELLE_JAVA_SYSTEM_OPTIONS -J-Dscala.usejavacp=true" |
13 export JAVA_OPTS="$ISABELLE_JAVA_SYSTEM_OPTIONS -J-Dscala.usejavacp=true" |
14 |
14 |
15 if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then |
15 case "$ISABELLE_PLATFORM_FAMILY" in |
16 export TERM=dumb |
16 windows*) |
|
17 export TERM=dumb |
|
18 ;; |
17 fi |
19 fi |
18 |
20 |
19 isabelle_scala scala $ISABELLE_SCALAC_OPTIONS "$@" |
21 isabelle_scala scala $ISABELLE_SCALAC_OPTIONS "$@" |