From 3bfbf080d7287625b3b0203fa5402e4c086b48c4 Mon Sep 17 00:00:00 2001 From: mrodzis <weidling@sub.uni-goettingen.de> Date: Mon, 26 Nov 2018 08:52:21 +0100 Subject: [PATCH] Apply port changes in debian package --- generic.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generic.xml b/generic.xml index 1cc359d..fdcbde3 100644 --- a/generic.xml +++ b/generic.xml @@ -151,7 +151,7 @@ </target> <!-- SADE --> - <target name="sade" depends="prepare-dist-dir, sade-assets, sade-memory"> + <target name="sade" depends="prepare-dist-dir, sade-assets, sade-memory, jetty-port"> <git repo="${sade.git}" branch="${sade.branch}" dest="${sade.dest}"/> <ant antfile="${sade.dest}/build.xml" inheritAll="false"/> <move2autodeploy source="${sade.dest}/build/"/> -- GitLab