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

[stuart yeates]

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

I'd like to second that thought from Sebastian.

Unless you're throwing away the VM every time you do a rebuild (which is 
conceivable, given a caching proxy and lots of free time), giving root 
to a build tool such as jenkins is almost certainly a bad idea.

cheers
stuart