| changeset 44152 | a07748619f53 |
| parent 36859 | 51af1657263b |
| 44151:e842a2cf923c | 44152:a07748619f53 |
|---|---|
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: Cumulative reports for Poly/ML profiling output. |
5 # DESCRIPTION: Cumulative reports for Poly/ML profiling output. |
6 |
6 |
7 THIS=$(cd $(dirname "$0"); echo "$PWD") |
7 THIS="$(cd $(dirname "$0"); pwd)" |
8 |
8 |
9 SRC="$1" |
9 SRC="$1" |
10 DST="$2" |
10 DST="$2" |
11 |
11 |
12 mkdir -p "$DST" |
12 mkdir -p "$DST" |