On 2012-03-09, Nicolas Lalevée wrote: > As a quick fix I guess we can add in the command line launched by > Jenkins a -Djava.io.tmpdir=$WORKSPACE/tmpdir
Have you changed the configuration to contain that? If so, it doesn't look to have had any effect. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org
