#! /bin/csh -f
if ($?ANDREWDIR) then
exec ez $1  $ANDREWDIR/lib/arbiters/Arb
else
exec ez $1  /usr/andrew/lib/arbiters/Arb
endif
