servletapi4/java160_build.patch

21 lines
716 B
Diff

Index: jakarta-servletapi-4-src/build.xml
===================================================================
--- jakarta-servletapi-4-src.orig/build.xml
+++ jakarta-servletapi-4-src/build.xml
@@ -58,6 +58,7 @@
<!-- Java classes -->
<javac srcdir="src/share" destdir="${servletapi.build}/classes"
+ source="1.8" target="1.8"
debug="${compile.debug}" deprecation="${compile.deprecation}"
optimize="${compile.optimize}"/>
@@ -90,6 +91,7 @@
<target name="javadoc" depends="prepare">
<javadoc packagenames="javax.servlet.*"
+ source="1.8"
sourcepath="${basedir}/src/share"
destdir="${servletapi.build}/docs/api"
use="true"