changeset 13232 | 8b1b5e8c4bd6 |
parent 13231 | cce28efb2600 |
child 13233 | 5ab7bac534c9 |
13231:cce28efb2600 | 13232:8b1b5e8c4bd6 |
---|---|
6 # |
6 # |
7 # DESCRIPTION: Run isatool makeall from specified distribution and settings. |
7 # DESCRIPTION: Run isatool makeall from specified distribution and settings. |
8 # Send email if it fails. |
8 # Send email if it fails. |
9 |
9 |
10 ## global settings |
10 ## global settings |
11 LOGPREFIX=~ |
11 LOGPREFIX=~/log |
12 |
12 |
13 ## diagnostics |
13 ## diagnostics |
14 |
14 |
15 PRG="$(basename "$0")" |
15 PRG="$(basename "$0")" |
16 |
16 |