# HG changeset patch # User petr-novak # Date 1716378496 0 # Node ID 919b0e12735048d8f0daab41f5f3ae80f593243c # Parent ed5a72d4693ddf5740d848c8ac586f552658fa1e Uploaded diff -r ed5a72d4693d -r 919b0e127350 repex_full_clustering.xml --- a/repex_full_clustering.xml Fri May 27 12:00:03 2022 +0000 +++ b/repex_full_clustering.xml Wed May 22 11:48:16 2024 +0000 @@ -1,4 +1,4 @@ - + @@ -62,7 +62,7 @@ cat stderr.log >> ${log} && \${REPEX}/stderr_filter.py stderr.log && cd tarean_output && - zip -r ${ReportArchive}.zip * && + zip -fz -r ${ReportArchive}.zip * && mv ${ReportArchive}.zip ${ReportArchive} && cp index.html ${ReportFile} && mkdir ${ReportFile.files_path} &&