| author | hoelzl |
| Wed, 27 Jul 2011 19:34:30 +0200 | |
| changeset 44862 | f4a7697011c5 |
| parent 36866 | 51af1657263b |
| child 45023 | a07748619f53 |
| permissions | -rwxr-xr-x |
1 #!/usr/bin/env bash
2 #
3 # Author: Makarius
4 #
5 # DESCRIPTION: Cumulative reports for Poly/ML profiling output.
7 THIS=$(cd $(dirname "$0"); echo "$PWD")
9 SRC="$1"
10 DST="$2"
12 mkdir -p "$DST"
14 for FILE in "$SRC"/*.gz
15 do
16 echo "$FILE"
17 NAME="$(basename "$FILE" .gz)"
18 gzip -dc "$FILE" | "$THIS/profiling_report" > "$DST/$NAME"
19 done