From f80752a84bd4dd5c71b653f7e87ae88695d0fb57 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 4 Nov 2015 13:20:45 +0100
Subject: [PATCH] all-tests : cosmetic

---
 all-tests | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/all-tests b/all-tests
index 6cae656d..593d4f9b 100755
--- 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
 }
 
-- 
2.47.0