I was puzzled myself. I deleted the workspace on jenkins hoping that this would help but it didn't :(
Cheers, Reto On Thu, Aug 7, 2014 at 3:38 PM, Minto van der Sluis <[email protected]> wrote: > Hi, > > What can we (or I) do to fix the jenkins build? > > Locally it builds just fine. Unfortunately I have a hardtime figuring > out why jenkins won't build. > > Also unfortunately is that I am getting close to a deadline, I have just > a couple more days left. It's not to rush things (is MY deadline), but I > need Virtuoso and the Clerezza build to work. > > I am ready to fix things but I have no clue how yet. But I fear the > current build problems are related to recent version number changes. > > Regards, > > Minto > >
