Force JAR to be remade

runtimeverification · Oct 12, 2022 · 247c78d · 247c78d
1 parent 9bddf34
commit 247c78d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/kernel/pom.xml b/kernel/pom.xml
@@ -219,7 +219,7 @@
         <executions>
           <execution>
             <id>get-git-revision</id>
-            <phase>package</phase>
+            <phase>compile</phase>
             <configuration>
               <exportAntProperties>true</exportAntProperties>
               <target>
@@ -240,6 +240,7 @@
         <artifactId>maven-jar-plugin</artifactId>
         <version>2.5</version>
         <configuration>
+          <forceCreation> true </forceCreation>
           <archive>
             <manifestEntries>
               <Implementation-Revision>${buildNumber}</Implementation-Revision>