Closed
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)