scala/jenkins-scripts — pull request #87 by adriaanm (2014-03-19 02:47:52+00:00)
Title: Move platform-specific stuff into config variables.

Reduce number of scripts. Keep config on jenkins.