equal
deleted
inserted
replaced
27 } |
27 } |
28 |
28 |
29 function fail() |
29 function fail() |
30 { |
30 { |
31 echo "$1" >&2 |
31 echo "$1" >&2 |
|
32 echo "$(date) $HOSTNAME $PRG: FAILED, $1" >> $MASTERLOG |
32 exit 2 |
33 exit 2 |
33 } |
34 } |
34 |
35 |
35 ## main |
36 ## main |
36 |
37 |
55 MFLAGS="-j 5" |
56 MFLAGS="-j 5" |
56 ;; |
57 ;; |
57 |
58 |
58 sunbroy2) |
59 sunbroy2) |
59 MFLAGS="-j 6" |
60 MFLAGS="-j 6" |
60 NICE="nice" |
61 NICE="nice" |
61 ;; |
62 ;; |
62 |
63 |
63 sunbroy1) |
64 sunbroy1) |
64 MFLAGS="-j 2" |
65 MFLAGS="-j 2" |
65 NICE="nice" |
66 NICE="nice" |
66 ;; |
67 ;; |
67 |
68 |
68 macbroy*) |
69 macbroy*) |
69 MFLAGS="" |
70 MFLAGS="" |
70 NICE="" |
71 NICE="" |