hash=$(git log -n 1 | head -1 | sed -e 's,commit ,,' -e 's,\(........\).*,\1,')
# compute output file name
-output="zz.py$version.$hash"
+output="zz.$hash.py$version"
# if there is any pending change, use another name
is_pristine=""
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
}