more workarounds for scalac;
authorwenzelm
Wed Jul 23 15:11:42 2014 +0200 (2014-07-23)
changeset 57618d762318438c3
parent 57617 335750d989a3
child 57619 dcd69422b953
more workarounds for scalac;
Admin/build
src/Tools/jEdit/lib/Tools/jedit
     1.1 --- a/Admin/build	Wed Jul 23 15:00:46 2014 +0200
     1.2 +++ b/Admin/build	Wed Jul 23 15:11:42 2014 +0200
     1.3 @@ -74,7 +74,8 @@
     1.4  
     1.5  ## main
     1.6  
     1.7 -#FIXME workaround for scalac 2.11.0
     1.8 +#FIXME workarounds for scalac 2.11.0
     1.9 +export CYGWIN="nodosfilewarning"
    1.10  function stty() { :; }
    1.11  export -f stty
    1.12  
     2.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Wed Jul 23 15:00:46 2014 +0200
     2.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Wed Jul 23 15:11:42 2014 +0200
     2.3 @@ -307,7 +307,8 @@
     2.4  
     2.5    cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed
     2.6    (
     2.7 -    #FIXME workaround for scalac 2.11.0
     2.8 +    #FIXME workarounds for scalac 2.11.0
     2.9 +    export CYGWIN="nodosfilewarning"
    2.10      function stty() { :; }
    2.11      export -f stty
    2.12