On 28.06.2015 20:54, john hood wrote: > All true, but...given that it's a bad idea for a build to write outside > its assigned destination directory, I've fixed this anyway. Coming soon > to a repo near you. OK, thanks :-) then we can end the discussion here and I'll see ... THANKS, Stucki