Date: Tuesday, February 21, 2023 @ 14:31:43 Author: alucryd Revision: 469331
upgpkg: tomcat10 10.1.6-1 Modified: tomcat10/trunk/PKGBUILD ----------+ PKGBUILD | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2023-02-21 14:30:53 UTC (rev 469330) +++ PKGBUILD 2023-02-21 14:31:43 UTC (rev 469331) @@ -2,7 +2,7 @@ # Contributor: Olli <[email protected]> pkgname=tomcat10 -pkgver=10.1.5 +pkgver=10.1.6 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=f6eebe2ef959503150432dc2700181bd29a5ebc9 +_tag=9829c929059f96605a3fb870700b5887970d7203 source=( git+https://github.com/apache/tomcat.git#tag=${_tag} tomcat10.service @@ -57,7 +57,6 @@ 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
