#!/bin/sh cat << EoF Number of actors vs time and memory Number of actors Time in ms, Memory in 10k Bytes } EoF for file in $@ do basename=`basename $file` size=`echo $basename | sed 's/pubsub//' | sed 's/.out//'` grep StatRT $file | awk -v size=$size ' { print "

" }' done echo "" echo "" for file in $@ do basename=`basename $file` size=`echo $basename | sed 's/pubsub//' | sed 's/.out//'` grep StatRT $file | awk -v size=$size ' { mem = substr($4, 0, length($4)-1) free= substr($6, 0, length($6)-1) used = (mem-free) print "

" }' done echo "" echo ""