changeset 16097 | 8d41765e2884 |
parent 16095 | f6af6b265d20 |
child 16567 | 1ff73dc29166 |
--- a/Admin/isatest-makeall Fri May 27 01:12:15 2005 +0200 +++ b/Admin/isatest-makeall Fri May 27 01:21:50 2005 +0200 @@ -29,6 +29,7 @@ function fail() { echo "$1" >&2 + echo "$(date) $HOSTNAME $PRG: FAILED, $1" >> $MASTERLOG exit 2 } @@ -57,12 +58,12 @@ sunbroy2) MFLAGS="-j 6" - NICE="nice" + NICE="nice" ;; sunbroy1) MFLAGS="-j 2" - NICE="nice" + NICE="nice" ;; macbroy*)