| author | wenzelm |
| Tue, 15 Dec 2015 16:57:10 +0100 | |
| changeset 61852 | d273c24b5776 |
| parent 44152 | a07748619f53 |
| permissions | -rwxr-xr-x |
| 23604 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
5 |
# DESCRIPTION: Cumulative reports for Poly/ML profiling output. |
|
6 |
||
| 44152 | 7 |
THIS="$(cd $(dirname "$0"); pwd)" |
| 23604 | 8 |
|
9 |
SRC="$1" |
|
10 |
DST="$2" |
|
11 |
||
12 |
mkdir -p "$DST" |
|
13 |
||
| 24856 | 14 |
for FILE in "$SRC"/*.gz |
| 23604 | 15 |
do |
16 |
echo "$FILE" |
|
17 |
NAME="$(basename "$FILE" .gz)" |
|
18 |
gzip -dc "$FILE" | "$THIS/profiling_report" > "$DST/$NAME" |
|
19 |
done |