#!/bin/bash

function run()
{
#    echo "#############################################################################"
#    echo "##                            Cleaning up                                  ##"
#    echo "#############################################################################"
#    make clean
    echo "#############################################################################"
    echo "##                         Updating from CVS                               ##"
    echo "#############################################################################"
    make cvs_update
    echo "#############################################################################"
    echo "##                            Starting Compile                             ##"
    echo "#############################################################################"
    make rebuild
    echo "#############################################################################"
    echo "##               Compilation Statistics: Lines of code                     ##"
    echo "##                                                                         ##"
    echo "##     Source Code (C++)               Documentation (TeX)                 ##"

    cat per_user

}

while true
do
    START=$(date +%s)
    run
    END=$(date +%s)
    TIME=$(($END - $START))

    DAT=$(eval "date +%T -d'1970-01-01 ${TIME} seconds'")
    echo -e "Time needed: $DAT"
    sleep 60
done