revert erroneous removal of pathelement, document it

2017-08-19 23:19:54 +02:00 · 2017-08-19 23:19:54 +02:00 · fe85e77f2d
parent 3c047a1e70
commit fe85e77f2d
1 changed files with 2 additions and 0 deletions
--- a/build.xml
+++ b/build.xml
@ -90,6 +90,8 @@
            <path refid="lib.classpath"/>
        </path>
        <path id="test.classpath">
+            <!-- The element below is used by Jenkins jobs -->
+            <pathelement location="${coverage.classes.dir}"/>
            <fileset dir="${lib.dir}">
                <include name="*.jar"/>
                <exclude name="ant.jar"/>