Admin/profiling_reports
changeset 36859 51af1657263b
parent 24856 f06829479407
child 44152 a07748619f53
equal deleted inserted replaced
36858:8eac822dec6c 36859:51af1657263b
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 #
     2 #
     3 # $Id$
       
     4 # Author: Makarius
     3 # Author: Makarius
     5 #
     4 #
     6 # DESCRIPTION: Cumulative reports for Poly/ML profiling output.
     5 # DESCRIPTION: Cumulative reports for Poly/ML profiling output.
     7 
     6 
     8 THIS=$(cd $(dirname "$0"); echo "$PWD")
     7 THIS=$(cd $(dirname "$0"); echo "$PWD")