From 0e5b1f7981be4df3263692f898fa8974129800a8 Mon Sep 17 00:00:00 2001
From: Thomas Dudziak <tomdzk@gmail.com>
Date: Mon, 10 Dec 2012 10:30:30 -0800
Subject: [PATCH] Minor tweaks to the debian build

---
 repl/pom.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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>
-- 
GitLab