[MediaWiki-commits] [Gerrit] jenkins: use openjdk-7-jre-headless - change (operations/puppet)

2014-11-10 Thread Filippo Giunchedi (Code Review)
Filippo Giunchedi has submitted this change and it was merged. Change subject: jenkins: use openjdk-7-jre-headless .. jenkins: use openjdk-7-jre-headless Set java to version 7 by using Debian 'alternatives' system. That would

[MediaWiki-commits] [Gerrit] jenkins: use openjdk-7-jre-headless - change (operations/puppet)

2014-08-13 Thread Hashar (Code Review)
Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/153764 Change subject: jenkins: use openjdk-7-jre-headless .. jenkins: use openjdk-7-jre-headless Simply set $JAVA in /etc/default/jenkins to point