# HG changeset patch
# User wenzelm
# Date 1398242336 -7200
# Node ID 8ff8e5d0011517b3fb4bf5134b2fc9ef69bc62e2
# Parent  2d09b437c168b1de2592c86d7ad3ebc0e2146aa6
updated workaround;

diff -r 2d09b437c168 -r 8ff8e5d00115 Admin/build
--- a/Admin/build	Tue Apr 22 23:57:17 2014 +0200
+++ b/Admin/build	Wed Apr 23 10:38:56 2014 +0200
@@ -74,7 +74,7 @@
 
 ## main
 
-#workaround for scalac 2.10.2
+#FIXME workaround for scalac 2.11.0
 function stty() { :; }
 export -f stty
 
diff -r 2d09b437c168 -r 8ff8e5d00115 src/Tools/Graphview/lib/Tools/graphview
--- a/src/Tools/Graphview/lib/Tools/graphview	Tue Apr 22 23:57:17 2014 +0200
+++ b/src/Tools/Graphview/lib/Tools/graphview	Wed Apr 23 10:38:56 2014 +0200
@@ -139,7 +139,7 @@
   rm -rf classes && mkdir classes
 
   (
-    #workaround for scalac 2.10.2
+    #FIXME workaround for scalac 2.11.0
     function stty() { :; }
     export -f stty
 
diff -r 2d09b437c168 -r 8ff8e5d00115 src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Tue Apr 22 23:57:17 2014 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Wed Apr 23 10:38:56 2014 +0200
@@ -312,7 +312,7 @@
 
   cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed
   (
-    #workaround for scalac 2.10.2
+    #FIXME workaround for scalac 2.11.0
     function stty() { :; }
     export -f stty