From 172597a68d8679d9cd68bec5548e1ba5bfbb0431 Mon Sep 17 00:00:00 2001
From: Marc CARRE <carre.marc@gmail.com>
Date: Mon, 19 Dec 2016 14:51:26 +0000
Subject: [PATCH] Now measure time spent in sanity checks.

---
 test/sanity_check.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/test/sanity_check.sh b/test/sanity_check.sh
index fca1d85e..737f9f6e 100755
--- a/test/sanity_check.sh
+++ b/test/sanity_check.sh
@@ -4,6 +4,8 @@
 
 set -e
 
+begin=$(date +%s)
+
 whitely echo Ping each host from the other
 
 # We wrap ping and echo in a function as we want the below parallel for loop
@@ -55,3 +57,5 @@ for host in $HOSTS; do
     pids="$pids $!"
 done
 for pid in $pids; do wait $pid; done
+
+echo "Sanity checks completed successfully in $(date -u -d @$(($(date +%s)-$begin)) +"%T")."