#!/bin/zsh

for name in $@ ; do
    echo "Compressing $name"
    rm -rf $name/*-info
    rm -rf $name/*/*.bin
    xz -9 -T1 $name/*/*.html &
    for infodir in $name/*-bench ; do
        pushd $infodir
        gunzip {client,db_server,web_server}*.gz && xz -9 -T1 {client,db_server,web_server}* &
        cd info
        for dir in {clog,stats}* ; do
            tar -cf $dir.tar $dir
            rm -rf $dir
        done
        xz -9 -T1 * &
        popd
    done
    wait
done