From 44c0025860cdc32447a7f484a9695e4620b07cda Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Mon, 21 Feb 2022 11:15:14 +0100
Subject: [PATCH] add maven-helper-plugin: show active profile

---
 pom.xml | 19 +++++++++++++++++--
 1 file changed, 17 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 0d49bd1..f068ce4 100644
--- a/pom.xml
+++ b/pom.xml
@@ -439,7 +439,8 @@
             </distributionManagement>
 
              <build> 
-                 <plugins> 
+                 <plugins>
+
                      <plugin> 
                          <groupId>org.codehaus.mojo</groupId> 
                          <artifactId>build-helper-maven-plugin</artifactId> 
@@ -582,6 +583,7 @@
             <build>
 
                 <plugins>
+
                     <plugin>
                         <groupId>org.codehaus.mojo</groupId>
                         <artifactId>build-helper-maven-plugin</artifactId>
@@ -1670,7 +1672,20 @@
 
         <!-- attached to all profiles -->
         <plugins>
-
+			<plugin>
+					  <groupId>org.apache.maven.plugins</groupId>
+					  <artifactId>maven-help-plugin</artifactId>
+					  <version>3.0.1</version>
+					  <executions>
+					    <execution>
+					      <id>show-profiles</id>
+					      <phase>compile</phase>
+					      <goals>
+					        <goal>active-profiles</goal>
+					      </goals>
+					    </execution>
+					  </executions>
+					</plugin>
             <plugin>
                 <groupId>org.codehaus.mojo</groupId>
                 <artifactId>buildnumber-maven-plugin</artifactId>