#

set pid = $$
echo pid = $pid
echo $0 $*
if( $#argv < 4 ) then
   echo "usage: `basename $0` host_name program_name num_of_run inputfile ..."
   exit
endif

echo $1 $2 $3

set host = $1  
set program = $2
set nrun = $3
set stime = 30 
set wtime = 60 

echo host = $host 
echo user = $user 

shift  argv
shift  argv
shift  argv
foreach inputfile ( $argv )
# while (`$host -n 'ls -l $ELFIN_TMP/jobnum' | wc -l ` > $nrun) 
#    sleep $stime 
# end 
 run  $host $program $inputfile 
         echo  run $host $program $inputfile   
# sleep $wtime 
end