Closed lrytz closed 7 years ago
ah, it was probably changed to also support windows. but the property got lost for the linux client, need to check in detail.
deployed and tested, the jvm option is now there on both windows and linux (it was only on windows before)
dry (no S3 upload) run: https://scala-ci.typesafe.com/job/scala-2.12.x-release-package-unix/534/ (404 til Jenkins staggers out of his crypt)
UPDATE: Finished: SUCCESS
java.io.tmpdir
was set to the jenkins partition in https://github.com/scala/scala-jenkins-infra/pull/202, but accidentally reverted in 235b326.