[tei-council] Jenkins config changes

[Sebastian Rahtz]

On 27 Oct 2012, at 19:19, Martin Holmes <mholmes at uvic.ca>
 wrote:

> the problem with the old version and date has cleared. I think Sebastian 
> wiped his workspaces, forcing the job to build everything afresh, which 
> was needed to get clean files for deployment, but my server is still 
> unclean; that means if it builds good output, the problem shouldn't 
> recur next time we change the version number, but if it doesn't, then it 
> will, if you see what I mean.



the cleanliness should be achieved by each task in Jenkins now starting
with a "make clean"
--
Sebastian Rahtz      
Director (Research Support) of Academic IT Services 
University of Oxford IT Services
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431