Admin/profiling_reports
author Walther Neuper <wneuper@ist.tugraz.at>
Tue, 07 Feb 2017 08:57:42 +0100
changeset 59316 3a60188d9cc3
parent 59180 85ec71012df8
permissions -rwxr-xr-x
separate structure Model : MODEL
wneuper@59180
     1
#!/usr/bin/env bash
wneuper@59180
     2
#
wneuper@59180
     3
# Author: Makarius
wneuper@59180
     4
#
wneuper@59180
     5
# DESCRIPTION: Cumulative reports for Poly/ML profiling output.
wneuper@59180
     6
wneuper@59180
     7
THIS="$(cd $(dirname "$0"); pwd)"
wneuper@59180
     8
wneuper@59180
     9
SRC="$1"
wneuper@59180
    10
DST="$2"
wneuper@59180
    11
wneuper@59180
    12
mkdir -p "$DST"
wneuper@59180
    13
wneuper@59180
    14
for FILE in "$SRC"/*.gz
wneuper@59180
    15
do
wneuper@59180
    16
  echo "$FILE"
wneuper@59180
    17
  NAME="$(basename "$FILE" .gz)"
wneuper@59180
    18
  gzip -dc "$FILE" | "$THIS/profiling_report" > "$DST/$NAME"
wneuper@59180
    19
done