diff options
Diffstat (limited to 'repl')
| -rw-r--r-- | repl/pom.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/repl/pom.xml b/repl/pom.xml index e8dc0ff67b..431e24b300 100644 --- a/repl/pom.xml +++ b/repl/pom.xml @@ -246,7 +246,9 @@ <goal>jdeb</goal> </goals> <configuration> - <deb>${project.build.directory}/${project.artifactId}-${classifier}_${project.version}-${buildNumber}.deb</deb> + <deb>${project.build.directory}/${project.artifactId}-${classifier}_${project.version}-${buildNumber}_all.deb</deb> + <attach>false</attach> + <compression>gzip</compression> <dataSet> <data> <src>${project.build.directory}/${project.artifactId}-${project.version}-shaded-${classifier}.jar</src> |