equal
deleted
inserted
replaced
10 classpath "$CLASSPATH"; unset CLASSPATH |
10 classpath "$CLASSPATH"; unset 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 |
|
16 export TERM=dumb |
|
17 fi |
|
18 |
15 isabelle_scala scala $ISABELLE_SCALAC_OPTIONS "$@" |
19 isabelle_scala scala $ISABELLE_SCALAC_OPTIONS "$@" |