#!/bin/csh -f
if(!(-e make_timer))then
 make make_timer
endif
make_timer << here
$1 $2 $3
here
