all-tests : cosmetic
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 4 Nov 2015 12:20:45 +0000 (13:20 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 4 Nov 2015 12:20:45 +0000 (13:20 +0100)
all-tests

index 6cae656..593d4f9 100755 (executable)
--- a/all-tests
+++ b/all-tests
@@ -46,7 +46,7 @@ function all_tests () {
     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
 }