Some scripts for running Jenkins job.