wtsi-npg/npg_tracking — pull request #126 by KateTaylor (2014-02-12 15:10:33+00:00)
Title: Modify jenkins tmpdir

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