| author | haftmann | 
| Tue, 02 Mar 2010 08:28:06 +0100 | |
| changeset 35437 | fe196f61b970 | 
| parent 24856 | f06829479407 | 
| child 36859 | 51af1657263b | 
| permissions | -rwxr-xr-x | 
| 23604 | 1 | #!/usr/bin/env bash | 
| 2 | # | |
| 3 | # $Id$ | |
| 4 | # Author: Makarius | |
| 5 | # | |
| 6 | # DESCRIPTION: Cumulative reports for Poly/ML profiling output. | |
| 7 | ||
| 8 | THIS=$(cd $(dirname "$0"); echo "$PWD") | |
| 9 | ||
| 10 | SRC="$1" | |
| 11 | DST="$2" | |
| 12 | ||
| 13 | mkdir -p "$DST" | |
| 14 | ||
| 24856 | 15 | for FILE in "$SRC"/*.gz | 
| 23604 | 16 | do | 
| 17 | echo "$FILE" | |
| 18 | NAME="$(basename "$FILE" .gz)" | |
| 19 | gzip -dc "$FILE" | "$THIS/profiling_report" > "$DST/$NAME" | |
| 20 | done |