updated workaround;
authorwenzelm
Wed Apr 23 10:38:56 2014 +0200 (2014-04-23)
changeset 566648ff8e5d00115
parent 56663 2d09b437c168
child 56665 27778363775d
updated workaround;
Admin/build
src/Tools/Graphview/lib/Tools/graphview
src/Tools/jEdit/lib/Tools/jedit
     1.1 --- a/Admin/build	Tue Apr 22 23:57:17 2014 +0200
     1.2 +++ b/Admin/build	Wed Apr 23 10:38:56 2014 +0200
     1.3 @@ -74,7 +74,7 @@
     1.4  
     1.5  ## main
     1.6  
     1.7 -#workaround for scalac 2.10.2
     1.8 +#FIXME workaround for scalac 2.11.0
     1.9  function stty() { :; }
    1.10  export -f stty
    1.11  
     2.1 --- a/src/Tools/Graphview/lib/Tools/graphview	Tue Apr 22 23:57:17 2014 +0200
     2.2 +++ b/src/Tools/Graphview/lib/Tools/graphview	Wed Apr 23 10:38:56 2014 +0200
     2.3 @@ -139,7 +139,7 @@
     2.4    rm -rf classes && mkdir classes
     2.5  
     2.6    (
     2.7 -    #workaround for scalac 2.10.2
     2.8 +    #FIXME workaround for scalac 2.11.0
     2.9      function stty() { :; }
    2.10      export -f stty
    2.11  
     3.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Tue Apr 22 23:57:17 2014 +0200
     3.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Wed Apr 23 10:38:56 2014 +0200
     3.3 @@ -312,7 +312,7 @@
     3.4  
     3.5    cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed
     3.6    (
     3.7 -    #workaround for scalac 2.10.2
     3.8 +    #FIXME workaround for scalac 2.11.0
     3.9      function stty() { :; }
    3.10      export -f stty
    3.11