Admin/profiling_reports
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Fri Oct 15 21:46:45 2010 +0900 (2010-10-15)
changeset 39994 7bd8013b903f
parent 36859 51af1657263b
child 44152 a07748619f53
permissions -rwxr-xr-x
FSet: give names to respectfulness theorems, rename list_all2_refl to avoid clash
wenzelm@23604
     1
#!/usr/bin/env bash
wenzelm@23604
     2
#
wenzelm@23604
     3
# Author: Makarius
wenzelm@23604
     4
#
wenzelm@23604
     5
# DESCRIPTION: Cumulative reports for Poly/ML profiling output.
wenzelm@23604
     6
wenzelm@23604
     7
THIS=$(cd $(dirname "$0"); echo "$PWD")
wenzelm@23604
     8
wenzelm@23604
     9
SRC="$1"
wenzelm@23604
    10
DST="$2"
wenzelm@23604
    11
wenzelm@23604
    12
mkdir -p "$DST"
wenzelm@23604
    13
wenzelm@24856
    14
for FILE in "$SRC"/*.gz
wenzelm@23604
    15
do
wenzelm@23604
    16
  echo "$FILE"
wenzelm@23604
    17
  NAME="$(basename "$FILE" .gz)"
wenzelm@23604
    18
  gzip -dc "$FILE" | "$THIS/profiling_report" > "$DST/$NAME"
wenzelm@23604
    19
done