diff -r d033bc00b762 -r 838d9e058a1a Admin/build --- a/Admin/build Thu Sep 12 13:48:17 2013 +0200 +++ b/Admin/build Thu Sep 12 14:06:08 2013 +0200 @@ -74,7 +74,7 @@ ## main -#workaround for scalac +#workaround for scalac 2.10.2 function stty() { :; } export -f stty