wtsi-npg/npg_tracking — pull request #125 by KateTaylor (2014-02-12 14:18:53+00:00)
Title: Modify jenkins tmpdir

Use ${JENKINS_HOME}/tmp instead of /tmp for jenkins tmpdir