version 1.4, 2003/06/03 02:56:21 |
version 1.5, 2008/04/11 14:24:29 |
|
|
if ( $?TROFF ) then |
if ( $?TROFF ) then |
set troff = "$TROFF" |
set troff = "$TROFF" |
else |
else |
set troff = "troff" |
set troff = "groff" |
endif |
endif |
|
|
set vf=/usr/libexec/vfontedpr |
set vf=/usr/libexec/vfontedpr |
|
|
shift |
shift |
goto top |
goto top |
|
|
|
case -T: |
|
if ($#argv < 2) then |
|
echo "vgrind: $1:q option must have argument" |
|
goto done |
|
else |
|
set voptions = ($voptions $1:q $2) |
|
shift |
|
shift |
|
goto top |
|
endif |
|
|
case -t: |
case -t: |
set voptions = "$voptions -t" |
# ignore for backwards compatibility |
shift |
shift |
goto top |
goto top |
|
|