From e834932aa8afc9a4008a343becc721ee69d47c36 Mon Sep 17 00:00:00 2001
From: Marc CARRE <carre.marc@gmail.com>
Date: Mon, 19 Dec 2016 14:49:05 +0000
Subject: [PATCH] Now measure time spent in setup.

---
 test/setup.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/test/setup.sh b/test/setup.sh
index 552ef4fa36..0d43546393 100755
--- a/test/setup.sh
+++ b/test/setup.sh
@@ -2,6 +2,7 @@
 
 set -e
 
+begin=$(date +%s)
 cd "$(dirname "${BASH_SOURCE[0]}")"
 
 . "$(dirname "$0")/config.sh"
@@ -59,4 +60,4 @@ for ppid in $ppids; do
     wait $ppid;
 done
 
-echo "Setup completed successfully."
+echo "Setup completed successfully in $(date -u -d @$(($(date +%s)-$begin)) +"%T")."