#!/bin/csh -f
set start=$2
set firstn=$3
set skip=$4
if ($start == "") set start=1
if ($firstn == "") set firstn=1
if ($skip == "") set skip=1000000
grep "wallclock" $1 | awk -f ~/awk/mitgcm_time.awk -v START=$start -v FIRSTN=$firstn -v SKIP=$skip