Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
historic workaround according to 22630327408b;
authorwenzelm
Tue, 04 Oct 2016 20:20:21 +0200
changeset 64044 deb4a786e6f9
parent 64043 44b6c620c371
child 64045 c6160d0b0337
historic workaround according to 22630327408b;
lib/dummy_stty/stty file | annotate | diff | comparison | revisions
src/Pure/Tools/build_history.scala file | annotate | diff | comparison | revisions 
--- /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)
--- 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)
   }
isabelle