| changeset 31640 | 51fb047168b7 |
| parent 29426 | 0a1d32bc5ee5 |
| child 33264 | a0f5896d877e |
| 31639:3b98fabd2cf1 | 31640:51fb047168b7 |
|---|---|
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*) |
54 *para* | *-M*) |
55 PARALLEL=true |
55 PARALLEL=true |
56 ;; |
56 ;; |
57 *) |
57 *) |
58 PARALLEL=false |
58 PARALLEL=false |
59 ;; |
59 ;; |