--- Comment #1 from Antoine "hashar" Musso <> ---
And the compression I am referring to is a trick:

mkdir -p "$LOG_DIR"

# Make sure to compress MediaWiki log dir after phpunit has ran
function compress_log_dir() {
    echo "Compressing logs under $LOG_DIR"
    gzip --verbose --force --best "$LOG_DIR"/*.log || :
trap compress_log_dir EXIT

You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
Wikibugs-l mailing list

Reply via email to