c_man_or_boy/run.sh

#!/bin/bash

FZ="../../work/build/bin/fz"
APP=man_or_boy

echo -n `date +"%F_%R:"` >>log.txt

/usr/bin/time -o buildtime.txt -f " build %es mem %MK" $FZ -c $APP
/usr/bin/time -o runtime.txt   -f " run %es mem %MK" timeout --preserve-status --signal=15 --kill-after=10860s 10800s ./$APP
echo -n "`cat buildtime.txt`" >>log.txt
echo -n "`cat runtime.txt`" >>log.txt
echo -n " C src size: ` cat $APP.c | wc -c`" >>log.txt
echo    " binary size: `cat $APP   | wc -c`" >>log.txt
rm buildtime.txt runtime.txt $APP