[tei-council] Build failed in Jenkins: TEIP5-Documentation #411

[Sebastian Rahtz]

On 19 Jun 2012, at 06:56, James Cummings wrote:

> Wouldn't another solution be that if a Stylesheet build is 
> successful that then the Jenkins system will do the equivalent of 
> a 'sudo make install'?

you want to give jenkins root privileges? no thanks…..


--
Sebastian Rahtz      
Head of Information and Support Group
Oxford University Computing Services
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431

Sólo le pido a Dios
que el futuro no me sea indiferente