chiark / gitweb /
jenkins-build-all: improve detection of working buildserver VM