From 23d5c248d9188a2c18c3f932878a90d517f1c78a Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Wed, 7 Oct 2020 14:08:45 +0200
Subject: [PATCH] Update Jenkinsfile and pom.xml

---
 Jenkinsfile | 1 +
 pom.xml     | 5 -----
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 11b2dd0..68d64e3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -72,6 +72,7 @@ pipeline {
 			steps {
 				sh "git config user.email \"jenkins@mchv.eu\""
 				sh "git config user.name \"Jenkins\""
+				sh "git add --all; git commit -m \"Add generated files\""
 				sh "mvn -s $MVN_SET -DpushChanges=false -DlocalCheckout=true -DpreparationGoals=initialize release:prepare release:perform -B"
 			}
 		}
diff --git a/pom.xml b/pom.xml
index 74860b4..c6532bd 100644
--- a/pom.xml
+++ b/pom.xml
@@ -56,11 +56,6 @@
 					<preparationGoals>clean verify</preparationGoals>
 					<localCheckout>true</localCheckout>
 					<tagNameFormat>v@{project.version}</tagNameFormat>
-					<checkModificationExcludes>
-						<checkModificationExclude>**/*.so</checkModificationExclude>
-						<checkModificationExclude>**/*.dylib</checkModificationExclude>
-						<checkModificationExclude>**/*.dll</checkModificationExclude>
-					</checkModificationExcludes>
 				</configuration>
 			</plugin>
 			<plugin>