#!/bin/csh -f

if ($#argv < 1) then
	echo "usage: debugger command [args]"
	exit 1
endif

set noglob
set hn=`hostname`
exec xterm -title "${hn}:$argv[1]" -e $HOME/pvm3/lib/debugger2 $argv

