wenzelm@23604: #!/usr/bin/env bash
wenzelm@23604: #
wenzelm@23604: # Author: Makarius
wenzelm@23604: #
wenzelm@23604: # DESCRIPTION: Cumulative reports for Poly/ML profiling output.
wenzelm@23604: 
wenzelm@23604: THIS=$(cd $(dirname "$0"); echo "$PWD")
wenzelm@23604: 
wenzelm@23604: SRC="$1"
wenzelm@23604: DST="$2"
wenzelm@23604: 
wenzelm@23604: mkdir -p "$DST"
wenzelm@23604: 
wenzelm@24856: for FILE in "$SRC"/*.gz
wenzelm@23604: do
wenzelm@23604:   echo "$FILE"
wenzelm@23604:   NAME="$(basename "$FILE" .gz)"
wenzelm@23604:   gzip -dc "$FILE" | "$THIS/profiling_report" > "$DST/$NAME"
wenzelm@23604: done