--- a/Admin/isatest/isatest-makeall Thu Oct 09 08:47:28 2008 +0200
+++ b/Admin/isatest/isatest-makeall Thu Oct 09 09:18:32 2008 +0200
@@ -32,7 +32,7 @@
function fail()
{
echo "$1" >&2
- echo "$(date) $HOSTNAME $PRG: FAILED, $1" >> $MASTERLOG
+ log "FAILED, $1"
exit 2
}
@@ -160,9 +160,9 @@
ELAPSED=$("$HOME/bin/showtime" "$SECONDS")
if [ -z "$FAIL" ]; then
- echo "$(date) $HOSTNAME $PRG: all tests successful, elapsed time $ELAPSED." >> $MASTERLOG
+ log "all tests successful, elapsed time $ELAPSED."
else
- echo "$(date) $HOSTNAME $PRG: targets ${FAIL}FAILED, elapsed time $ELAPSED." >> $MASTERLOG
+ log "targets ${FAIL}FAILED, elapsed time $ELAPSED."
exit 1
fi