chiark / gitweb /
add ulimit debugging to jenkins build script