Automatically build pull requests#2260

Merged

cmaglie merged 3 commits intoide-1.5.xfrom

ide-1.5.x-autobuild-pr

Aug 26, 2014

Commits on Aug 25, 2014

Script used by the Jenkins Github Pull Request Builder plugin
Federico Fissore
committed
PR Autobuild: fixed artifact name
Federico Fissore
committed
PR Autobuild: removed useless final echos
Federico Fissore
committed