From 1c94f05b9a50dac6e99a5cfdefa337f43f2b4572 Mon Sep 17 00:00:00 2001
From: Jerry Lee <oldratlee@gmail.com>
Date: Tue, 5 May 2020 20:32:08 +0800
Subject: [PATCH] rename profile: travis -> gen-code-cov

---
 pom.xml     | 2 +-
 pom4ide.xml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 4f52d174..5685002a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -603,7 +603,7 @@
 			</build>
 		</profile>
 		<profile>
-			<id>travis</id>
+			<id>gen-code-cov</id>
 			<activation>
 				<property>
 					<name>env.TRAVIS</name>
diff --git a/pom4ide.xml b/pom4ide.xml
index aa26cc70..618c6216 100644
--- a/pom4ide.xml
+++ b/pom4ide.xml
@@ -603,7 +603,7 @@
 			</build>
 		</profile>
 		<profile>
-			<id>travis</id>
+			<id>gen-code-cov</id>
 			<activation>
 				<property>
 					<name>env.TRAVIS</name>
-- 
GitLab