esteve/jenkins_scripts — pull request #3 by tfoote (2014-02-12 07:11:57+00:00)
Title: update permissions on output directory due to bug in docker always writi...

...ng out wiht UID 1000