#!/bin/csh -f

set whoami = $0
set whoami = $whoami:t

if ($#argv == 0) then
   echo "Usage: $whoami tip-options"
   echo "Dial a host and keep retrying on failure."
   exit 1
endif

set tipopts = ($argv)

while (! $?done)
  tip $tipopts
  if ($status == 0) then
     set done
  else
     sleep 5
  endif
end

exit 0