On Thu, Oct 2, 2014 at 10:38 AM, Moritz Lennert <mlennert at club.worldonline.be> wrote: > In my case I can confirm Markus M's statement: > > make distclean > svn up > > worked perfectly... As it failed on 4 different systems for me it may be related to the SVN client version... Markus