#! /bin/csh -f
# Last edited on 2001-05-12 04:02:33 by stolfi

set usage = "$0 TPNAME TAGIN TAGOUT"

if ( $#argv != 3 ) then
  echo "usage: ${usage}"; exit 1
endif

set tpname = "$1"; shift;
set tagin = "$1"; shift;
set tagout = "$1"; shift;

run-opti ${tpname} ${tagin} ${tagout}
run-view ${tpname} ${tagout}-final