java/ivy-settings.xml
author Jan Vrany <jan.vrany@fit.cvut.cz>
Fri, 01 Feb 2019 22:31:35 +0000
changeset 3879 5416f5135ef2
parent 3734 d42565cecc0c
permissions -rw-r--r--
Merge

<ivysettings>
     <properties environment="env"/>
     <property name="ivy.executor-number" value="${env.EXECUTOR_NUMBER}" override="false" ifset="env.EXECUTOR_NUMBER"/>
     <property name="ivy.executor-number" value="0" override="false"/>
     <caches        
        defaultCacheDir="${ivy.default.ivy.user.dir}/caches/${ivy.executor-number}/default"
        resolutionCacheDir="${ivy.default.ivy.user.dir}/caches/${ivy.executor-number}/resolution"
        />
    <settings defaultResolver="default"/>
    <include url="${ivy.default.settings.dir}/ivysettings.xml"/>
    <lock-strategies>artifact-lock-nio</lock-strategies>
</ivysettings>