# HG changeset patch # User wenzelm # Date 1475605221 -7200 # Node ID deb4a786e6f9bfe79977d68c731af29e482d9bad # Parent 44b6c620c371378998a0114b524da80edd209807 historic workaround according to 22630327408b; diff -r 44b6c620c371 -r deb4a786e6f9 lib/dummy_stty/stty --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib/dummy_stty/stty Tue Oct 04 20:20:21 2016 +0200 @@ -0,0 +1,3 @@ +#!/usr/bin/env bash +# +# dummy stty for old versions of scalac (e.g. 2.10.0) diff -r 44b6c620c371 -r deb4a786e6f9 src/Pure/Tools/build_history.scala --- a/src/Pure/Tools/build_history.scala Tue Oct 04 19:43:18 2016 +0200 +++ b/src/Pure/Tools/build_history.scala Tue Oct 04 20:20:21 2016 +0200 @@ -177,7 +177,8 @@ /* build */ - isabelle("jedit -b" + (if (fresh) " -f" else ""), redirect = true, echo = verbose).check + bash("env PATH=\"" + File.bash_path(Path.explode("~~/lib/dummy_stty").expand) + ":$PATH\" " + + "bin/isabelle jedit -b" + (if (fresh) " -f" else ""), redirect = true, echo = verbose).check isabelle("build " + File.bash_args(build_args), redirect = true, echo = verbose) }