author | wenzelm |
Mon, 11 Jul 2016 18:39:30 +0200 | |
changeset 63448 | 998acd66fbd7 |
parent 44152 | a07748619f53 |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius # # DESCRIPTION: Cumulative reports for Poly/ML profiling output. THIS="$(cd $(dirname "$0"); 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