diff --git a/java150_build.patch b/java160_build.patch similarity index 88% rename from java150_build.patch rename to java160_build.patch index f63b3f1..26085d3 100644 --- a/java150_build.patch +++ b/java160_build.patch @@ -6,7 +6,7 @@ Index: jakarta-servletapi-4-src/build.xml @@ -14,7 +14,7 @@ Index: jakarta-servletapi-4-src/build.xml = 1.2 BuildRequires: java-devel >= 1.7.0 @@ -56,7 +56,7 @@ contains the javadoc documentation for the Java Servlet and JSP APIs. %prep %setup -q -n %{full_name}-4-src -%patch150 -p1 +%patch160 -p1 %build ant dist -Dservletapi.build=build -Dservletapi.dist=dist