c_man_or_boy/run.sh

#!/bin/bash

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