Admin/build
changeset 57618 d762318438c3
parent 56664 8ff8e5d00115
child 58791 00916b0dd596
     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