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."