make_retcod=$!
echo ========================================
end=$(date +%s)
- echo all-tests : end at; date; echo total duration $(($end-$begin)) seconds
+ echo all-tests : end at $((date)); echo total duration $(($end-$begin)) seconds
return $make_retcod
}