Trusted, Bureaucrats
1,382
edits
Changes
Jump to navigation
Jump to search
set RUNTIME=`cat $LOG | awk '$1 ~ /^\./{print $0}' | awk '{ sum+=$2} END {print sum}'` ;
echo $RUNTIME >> $LOG ;
echo $RUNTIME;
set LOG=multi.log ;
relax_multi --time -s Relax_disp -t $LOG ;
