Re: Editing VExpress build instuctions in Jenkins