This is an automated email from the ASF dual-hosted git repository. markt pushed a commit to branch 9.0.x in repository https://gitbox.apache.org/repos/asf/tomcat.git
The following commit(s) were added to refs/heads/9.0.x by this push: new f33ebf3 Reproducible builds: Make Graal processed JARs reproducible f33ebf3 is described below commit f33ebf31700680a4c2126f00dd2f5fbd49bde551 Author: Mark Thomas <ma...@apache.org> AuthorDate: Thu Mar 18 12:52:19 2021 +0000 Reproducible builds: Make Graal processed JARs reproducible --- build.xml | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/build.xml b/build.xml index 99300f1..9ab1864 100644 --- a/build.xml +++ b/build.xml @@ -76,6 +76,7 @@ <property name="tomcat.dist" value="${tomcat.output}/dist"/> <property name="tomcat.embed" value="${tomcat.output}/embed"/> <property name="tomcat.embed.sources" value="${tomcat.output}/embed-src-jars"/> + <property name="tomcat.graal" value="${tomcat.output}/graal"/> <property name="tomcat.i18n" value="${tomcat.output}/i18n"/> <property name="tomcat.manifests" value="${tomcat.output}/manifests"/> <property name="tomcat.release" value="${tomcat.output}/release"/> @@ -3725,8 +3726,15 @@ Read the Building page on the Apache Tomcat documentation site for details on ho <target name="add-graal" if="${addGraal}"> <echo message="add-graal ${addGraal} ${jarfile} ${graalFiles} ${graalPrefix}"></echo> - <zip destfile="${jarfile}" update="true"> - <zipfileset dir="${basedir}/${graalFiles}" prefix="META-INF/native-image/${graalPrefix}" includes="*.*"/> + <!-- Reproducible builds: consistent timestamps for graal files --> + <copy todir="${tomcat.graal}/${graalPrefix}"> + <fileset dir="${basedir}/${graalFiles}" /> + </copy> + <touch datetime="${tstamp.file}" pattern="MM/dd/yyyy hh:mm:ss aa"> + <fileset dir="${tomcat.graal}/${graalPrefix}"/> + </touch> + <zip destfile="${jarfile}" update="true" filesonly="true"> + <zipfileset dir="${tomcat.graal}/${graalPrefix}" prefix="META-INF/native-image/${graalPrefix}" includes="*.*"/> </zip> </target> --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org