From 572558244ab21c565f40f476ab6894c3b0f17909 Mon Sep 17 00:00:00 2001 From: Thomas Koch Date: Sun, 10 Jul 2022 08:23:37 +0000 Subject: rm unused build properties PKGMANAGER, RESTARTCMD, DESTDIR PKGMANAGER is always false, thus the java code wrapped in if statements for this property is dead code and can also be removed. The Debian packaging removed in c4659f0fb01be0f68ce3dcccc1955c8662a5345f did set the PKGMANAGER property to true. When we do distro packages again, we can revisit this commit and redo it with property files instead. RESTARTCMD is only used inside those dead code. DESTDIR is never used even in the build.xml --- build.xml | 7 ------- 1 file changed, 7 deletions(-) (limited to 'build.xml') diff --git a/build.xml b/build.xml index 81776f71a..1e21bad53 100644 --- a/build.xml +++ b/build.xml @@ -66,11 +66,6 @@ - - - - - @@ -162,8 +157,6 @@ - - -- cgit v1.2.3