From 5337a3e8529b68a4bf87e7e1a8b4aa776110a5f0 Mon Sep 17 00:00:00 2001
From: Timm Fitschen <timm.fitschen@ds.mpg.de>
Date: Mon, 18 Mar 2019 21:51:58 +0100
Subject: [PATCH] REVERT: maven plugin manager
---
pom.xml | 19 -------------------
1 file changed, 19 deletions(-)
diff --git a/pom.xml b/pom.xml
index acc95aed..5726b2f1 100644
--- a/pom.xml
+++ b/pom.xml
@@ -164,7 +164,6 @@
<testSourceDirectory>${basedir}/src/test/java</testSourceDirectory>
<outputDirectory>${basedir}/target/classes</outputDirectory>
<testOutputDirectory>${basedir}/target/test-classes</testOutputDirectory>
- <pluginManagement>
<plugins>
<plugin>
<groupId>org.antlr</groupId>
@@ -242,25 +241,7 @@
</execution>
</executions>
</plugin>
- <plugin>
- <groupId>org.codehaus.mojo</groupId>
- <artifactId>build-helper-maven-plugin</artifactId>
- <executions>
- <execution>
- <phase>generate-sources</phase>
- <goals>
- <goal>add-source</goal>
- </goals>
- <configuration>
- <sources>
- <source>${project.build.directory}/generated-sources/antlr4</source>
- </sources>
- </configuration>
- </execution>
- </executions>
- </plugin>
</plugins>
- </pluginManagement>
</build>
<url>bmp.ds.mpg.de</url>
--
GitLab