#!/bin/csh -f
# No need to ever check the local log.  Check trident's instead.
trident errlog $*:q