Commits

Peter Eisentraut committed ca5ee10

Run coverage-clean in coverage job

This should get rid of the "xxx.gcda:Merge mismatch for summaries"
errors.

Comments (0)

Files changed (1)

jenkins/jobs/postgresql_master_coverage/config.xml

   <builders>
     <hudson.tasks.Shell>
       <command>./configure --enable-coverage --enable-depend
-make
+make all coverage-clean
 make check
 make coverage-html</command>
     </hudson.tasks.Shell>