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

[Martin Holmes]

On 12-06-19 12:48 AM, Sebastian Rahtz wrote:
>
> 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…..

But the real issue is that the Stylesheets change all the time, and we 
don't want to require that Sebastian do a new release of them every time 
we need to see the results of those changes on the other builds.

Cheers,
Martin

>
>
> --
> 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
>