changeset 57618 | d762318438c3 |
parent 57338 | 06d533a24713 |
child 58529 | cd4439d8799c |
--- a/src/Tools/jEdit/lib/Tools/jedit Wed Jul 23 15:00:46 2014 +0200 +++ b/src/Tools/jEdit/lib/Tools/jedit Wed Jul 23 15:11:42 2014 +0200 @@ -307,7 +307,8 @@ cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed ( - #FIXME workaround for scalac 2.11.0 + #FIXME workarounds for scalac 2.11.0 + export CYGWIN="nodosfilewarning" function stty() { :; } export -f stty