Picked up _JAVA_OPTIONS: -Djava.io.tmpdir=/home/jenkins/tmp printed in partests #1712
Description
It looks like when executing partest all tests fail because of Picked up _JAVA_OPTIONS: -Djava.io.tmpdir=/home/jenkins/tmp being printed at the start of each one. I've seen it in #1711 and #1685.
% diff /home/jenkins/workspace/dotty-master-validate-partest-bootstrapped/tests/partest-generated/run/view-headoption-run.log /home/jenkins/workspace/dotty-master-validate-partest-bootstrapped/tests/partest-generated/run/view-headoption.check % @@ -1,4 +1,3 @@ -Picked up _JAVA_OPTIONS: -Djava.io.tmpdir=/home/jenkins/tmp fail success f1: Some(5)