[jruby-joni] 184/194: change profile name to jacoco

[Hideki Yamane]

This is an automated email from the git hooks/post-receive script.

henrich pushed a commit to branch debian/sid
in repository jruby-joni.

commit 3db05b5f8070f6ad3d2a72545a9ab9b9a823aa7d
Author: Marcin Mielzynski <lopx at gazeta.pl>
Date:   Wed Jan 24 21:52:21 2018 +0100

    change profile name to jacoco
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 0189642..e46ea75 100644
--- a/pom.xml
+++ b/pom.xml
@@ -153,7 +153,7 @@
   </build>
   <profiles>
     <profile>
-      <id>test-coverage</id>
+      <id>jacoco</id>
       <build>
         <plugins>
           <plugin>

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jruby-joni.git