Cumulative reports for Poly/ML profiling output.
authorwenzelm
Fri Jul 06 11:55:05 2007 +0200 (2007-07-06 ago)
changeset 2360456f945f1ed50
parent 23603 4a2e36475367
child 23605 81d0fdec9edc
Cumulative reports for Poly/ML profiling output.
Admin/profiling_reports
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/profiling_reports	Fri Jul 06 11:55:05 2007 +0200
     1.3 @@ -0,0 +1,20 @@
     1.4 +#!/usr/bin/env bash
     1.5 +#
     1.6 +# $Id$
     1.7 +# Author: Makarius
     1.8 +#
     1.9 +# DESCRIPTION: Cumulative reports for Poly/ML profiling output.
    1.10 +
    1.11 +THIS=$(cd $(dirname "$0"); echo "$PWD")
    1.12 +
    1.13 +SRC="$1"
    1.14 +DST="$2"
    1.15 +
    1.16 +mkdir -p "$DST"
    1.17 +
    1.18 +for FILE in "$SRC"/*
    1.19 +do
    1.20 +  echo "$FILE"
    1.21 +  NAME="$(basename "$FILE" .gz)"
    1.22 +  gzip -dc "$FILE" | "$THIS/profiling_report" > "$DST/$NAME"
    1.23 +done