Date: Wednesday, January 18, 2023 @ 08:46:47 Author: alucryd Revision: 466885
upgpkg: tomcat10 10.1.5-1 Modified: tomcat10/trunk/PKGBUILD ----------+ PKGBUILD | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2023-01-18 08:09:11 UTC (rev 466884) +++ PKGBUILD 2023-01-18 08:46:47 UTC (rev 466885) @@ -2,7 +2,7 @@ # Contributor: Olli <[email protected]> pkgname=tomcat10 -pkgver=10.1.4 +pkgver=10.1.5 pkgrel=1 pkgdesc='Open source implementation of the Java Servlet 5.0 and JavaServer Pages 3.0 technologies' arch=(any) @@ -30,7 +30,7 @@ etc/tomcat10/web.xml ) install=tomcat10.install -_tag=a8e13f8d7e621be9f58af45f5a67e7bf847a8321 +_tag=f6eebe2ef959503150432dc2700181bd29a5ebc9 source=( git+https://github.com/apache/tomcat.git#tag=${_tag} tomcat10.service @@ -57,6 +57,7 @@ prepare() { cd tomcat + git show 3dc3b15cd520534ba372d3bf029722c522d290eb -- build.properties.default | git apply # fix bnd partial update cp build.properties.default build.properties sed "/^base\.path=/c\base\.path=${srcdir}" -i build.properties sed "/^compile.debug=/c\compile.debug=false" -i build.properties
