#! /bin/csh -f
if ($?ANDREWDIR) then
exec ez $1  $ANDREWDIR/lib/arbiters/Arb
else
exec ez $1  /afs/cs/project/atk-3/bd-sol-dest/lib/arbiters/Arb
endif
