Debian build fixes

This commit is contained in:
zzz
2017-03-03 19:44:39 +00:00
parent 15915afeb8
commit ec6c24429a
6 changed files with 14 additions and 11 deletions

View File

@ -76,6 +76,9 @@
<pathelement location="../../desktopgui/dist/desktopgui.jar" />
<pathelement location="../../../installer/lib/wrapper/all/wrapper.jar" />
<pathelement location="../../jrobin/java/build/jrobin.jar" />
<!-- following jars only present for debian builds -->
<pathelement location="../../jetty/jettylib/tomcat-api.jar" />
</classpath>
</javac>
</target>