tree d1b2075c7c7b173910aa5058a73117548fabf37c
parent 20f7e91dd72228fef650e7f5bc753ce46a4adc35
author Nicolas De Loof <nicolas.deloof@gmail.com> 1412629556 +0200
committer Nicolas De Loof <nicolas.deloof@gmail.com> 1412629930 +0200

define JENKINS_OPTS so a derived image can customize jenkins launcher command line
defining some `ENV JENKINS_OPTS "..."`
Fix #21