diff options
| author | Arnstein Ressem <aressem@gmail.com> | 2017-07-21 15:22:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-21 15:22:35 +0200 |
| commit | a26f42508d099b3a39b66b8947581e4564c3df17 (patch) | |
| tree | c1d5d36056c372a842f89440e2a718b2e0c2aff5 /configgen/pom.xml | |
| parent | 9126313f4830e6487409d6162a2ca5aa64bf588b (diff) | |
Revert "Remove old manifest file"
Diffstat (limited to 'configgen/pom.xml')
| -rw-r--r-- | configgen/pom.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configgen/pom.xml b/configgen/pom.xml index 3e8172f5ed6..c328ea53635 100644 --- a/configgen/pom.xml +++ b/configgen/pom.xml @@ -57,6 +57,11 @@ <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-jar-plugin</artifactId> + <configuration> + <archive> + <manifestFile>src/main/manifest.mf</manifestFile> + </archive> + </configuration> </plugin> <plugin> <groupId>org.apache.maven.plugins</groupId> |