diff options
Diffstat (limited to 'resources/libraries/bash/function/per_patch.sh')
| -rw-r--r-- | resources/libraries/bash/function/per_patch.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/libraries/bash/function/per_patch.sh b/resources/libraries/bash/function/per_patch.sh index b6a572d654..d48295d06e 100644 --- a/resources/libraries/bash/function/per_patch.sh +++ b/resources/libraries/bash/function/per_patch.sh @@ -38,7 +38,7 @@ function archive_test_results () { TARGET="$(readlink -f "$1")" mkdir -p "${TARGET}" || die "Directory creation failed." file_list=("output.xml" "log.html" "report.html") - file_list+=("tests" "tests_output_raw.tar.xz") + file_list+=("tests" "tests_output_raw.tar.gz") for filename in "${file_list[@]}"; do mv "${ARCHIVE_DIR}/${filename}" "${TARGET}/${filename}" || { die "Attempt to move '${filename}' failed." |