diff options
| author | Thomas Koch <thomas@koch.ro> | 2022-07-10 08:23:37 +0000 |
|---|---|---|
| committer | Thomas Koch <thomas@koch.ro> | 2022-07-10 10:14:51 +0000 |
| commit | 572558244ab21c565f40f476ab6894c3b0f17909 (patch) | |
| tree | 0abdd758ef37715fb59e143a1066cb102b92412f /build.xml | |
| parent | 4503b9e292f2a2f4aa9c5ff9538b7a75231f81c9 (diff) | |
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
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 7 |
1 files changed, 0 insertions, 7 deletions
@@ -66,11 +66,6 @@ <property name="jquery" location="htroot/jquery/"/> <property name="portalsearch" location="htroot/portalsearch/"/> <property name="img-2" location="htroot/yacy/ui/img-2"/> - - <!-- variables for installonlinux target--> - <property name="DESTDIR" value="DESTDIR"/> - <property name="PKGMANAGER" value="false"/> - <property name="RESTARTCMD" value="/etc/init.d/yacy restart"/> <!-- determining if the .git directory exists --> <condition property="isGit"> @@ -162,8 +157,6 @@ <!-- YaCy root directory --> <filter token="REPL_YACY_ROOT_DIR" value="${yacyroot}"/> - <filter token="REPL_PKGMANAGER" value="${PKGMANAGER}"/> - <filter token="REPL_RESTARTCMD" value="${RESTARTCMD}"/> <!-- apply replacments --> <copy file="${src}/net/yacy/peers/operation/yacyBuildProperties.java.template" tofile="${src}/net/yacy/peers/operation/yacyBuildProperties.java" overwrite="true" filtering="true" /> |