# 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