+if ($#argv > 0) then
+ switch ($1:q)
+
+ case -f:
+ set f='filter'
+ set options = "$options $1:q"
+ shift
+ goto top
+
+ case -t:
+ set voptions = "$voptions -t"
+ shift
+ goto top
+
+ case -o*:
+ set voptions="$voptions $1:q"
+ shift
+ goto top
+
+ case -W:
+ set voptions = "$voptions -W"
+ shift
+ goto top
+
+ case -d:
+ if ($#argv < 2) then
+ echo "vgrind: $1:q option must have argument"
+ goto done
+ else
+ set options = ($options $1:q $2)
+ shift
+ shift
+ goto top
+ endif
+
+ case -h:
+ if ($#argv < 2) then
+ echo "vgrind: $1:q option must have argument"
+ goto done
+ else
+ set head="$2"
+ shift
+ shift
+ goto top
+ endif
+
+ case -*:
+ set options = "$options $1:q"
+ shift
+ goto top
+
+ default:
+ set files = "$files $1:q"
+ shift
+ goto top
+ endsw