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

[James Cummings]

On 19/06/12 08:48, 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…..

That's why I said 'do the equivalent of' without being specific 
of how that might be done. When I wrote that I was thinking 'do a 
make install to a specified location and then always reference 
that. This could indeed be in /usr/share/xml/tei if the Jenkins 
machine was set to allow jenkins to write there.  (Which then 
needs no special privileges and doesn't really give much security 
risk.)

However, thinking about it, surely the stylesheet repository used 
should point to the last-successful-build location of the 
Stylesheets, no?

-James


-- 
Dr James Cummings, InfoDev,
Computing Services, University of Oxford