For the record, it seems like the "EXECUTOR_NUMBER" variable ( https://issues.jenkins-ci.org/browse/JENKINS-31391 ) should be available to be able to easily specify a per-executor repo. So something such as this should do the job: mvn -Dmaven.repo.local=$JENKINS_HOME/.m2/$EXECUTOR_NUMBER/ ...
-- Sent from: http://maven.40175.n5.nabble.com/Maven-Users-f40176.html --------------------------------------------------------------------- To unsubscribe, e-mail: users-unsubscr...@maven.apache.org For additional commands, e-mail: users-h...@maven.apache.org
