search

ikeike443 / HudsonPluginForPlay

Jenkins plugin for Play! framework. This is trunk of jenkins-ci/play-plugin.
http://wiki.jenkins-ci.org/display/JENKINS/play-plugin
33 stars 28 forks source link

override play path per job #14

Closed imeredith closed 13 years ago

imeredith commented 13 years ago

This lets me run a script like

export PLAY_VERSION=1.2.2RC2 if [[ ! -e play-$PLAY_VERSION/play ]]; then rm -f play-${PLAY_VERSION}.zip wget http://download.playframework.org/releases/play-${PLAY_VERSION}.zip unzip play-${PLAY_VERSION} fi