]> WPIA git - gigi.git/commitdiff
fix: remove old coverage data. only use current.
authorFelix Dörre <felix@dogcraft.de>
Thu, 5 Nov 2015 14:04:53 +0000 (15:04 +0100)
committerFelix Dörre <felix@dogcraft.de>
Thu, 5 Nov 2015 14:04:53 +0000 (15:04 +0100)
build.xml

index d315abfd6cb47c12d46403cdef90960395ee7087..f5141b3f771075e48a43797b6cb35f651df87ada 100644 (file)
--- a/build.xml
+++ b/build.xml
                </junitreport>
        </target>
        <target name="generatecoco">
                </junitreport>
        </target>
        <target name="generatecoco">
+               <delete file="merged.exec"/>
+
                <jacoco:merge destfile="merged.exec">
                        <fileset dir="." includes="*.exec"/>
                </jacoco:merge>
                <jacoco:merge destfile="merged.exec">
                        <fileset dir="." includes="*.exec"/>
                </jacoco:merge>