# HG changeset patch
# User wenzelm
# Date 1663336948 -7200
# Node ID 4ff3cea76201d9864fbf65752592046fd1d9fea3
# Parent  c8ab2316e3cbc127e1deb4b15a831c9f54c36f53
avoid crash of JLine on Windows;

diff -r c8ab2316e3cb -r 4ff3cea76201 lib/Tools/scala
--- a/lib/Tools/scala	Fri Sep 16 15:45:40 2022 +0200
+++ b/lib/Tools/scala	Fri Sep 16 16:02:28 2022 +0200
@@ -12,4 +12,8 @@
 export jvm_cp_args="$(platform_path "$ISABELLE_CLASSPATH")"
 export JAVA_OPTS="$ISABELLE_JAVA_SYSTEM_OPTIONS -J-Dscala.usejavacp=true"
 
+if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
+  export TERM=dumb
+fi
+
 isabelle_scala scala $ISABELLE_SCALAC_OPTIONS "$@"