| author | Cezary Kaliszyk <kaliszyk@in.tum.de> | 
| Tue, 23 Feb 2010 14:11:46 +0100 | |
| changeset 35314 | cbdf785a1eb3 | 
| parent 24856 | f06829479407 | 
| child 36859 | 51af1657263b | 
| permissions | -rwxr-xr-x | 
#!/usr/bin/env bash # # $Id$ # Author: Makarius # # DESCRIPTION: Cumulative reports for Poly/ML profiling output. THIS=$(cd $(dirname "$0"); echo "$PWD") SRC="$1" DST="$2" mkdir -p "$DST" for FILE in "$SRC"/*.gz do echo "$FILE" NAME="$(basename "$FILE" .gz)" gzip -dc "$FILE" | "$THIS/profiling_report" > "$DST/$NAME" done