| changeset 33264 | a0f5896d877e |
| parent 31640 | 51fb047168b7 |
| child 37160 | d92638c7c38f |
| 33263:03c08ce703bf | 33264:a0f5896d877e |
|---|---|
49 PLATFORM="$1"; shift |
49 PLATFORM="$1"; shift |
50 TIMESPAN="$1"; shift |
50 TIMESPAN="$1"; shift |
51 SESSIONS="$@" |
51 SESSIONS="$@" |
52 |
52 |
53 case "$PLATFORM" in |
53 case "$PLATFORM" in |
54 *para* | *-M*) |
54 *para* | *-M* | sun-poly) |
55 PARALLEL=true |
55 PARALLEL=true |
56 ;; |
56 ;; |
57 *) |
57 *) |
58 PARALLEL=false |
58 PARALLEL=false |
59 ;; |
59 ;; |