From 84a46e43a59ea6717d8cbeed650e2bd5ba9e5ff0 Mon Sep 17 00:00:00 2001
From: jgugliel <julien.guglielmini@pasteur.fr>
Date: Mon, 13 Jun 2022 10:59:58 +0200
Subject: [PATCH] Slight log improvement

---
 wGRR | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/wGRR b/wGRR
index 622d08e..185e8aa 100755
--- a/wGRR
+++ b/wGRR
@@ -322,6 +322,8 @@ if [[ ! -f $OUT.m8 ]] ; then
 fi
 
 duration=$SECONDS
+printf "%-10s  --  %s\n" "[ELAPSED]" $(textifyDuration $duration) | tee -a ${OUT}.wgrr.log
+
 if [[ $BATCHFLAG == 0 ]] ; then
 	if [[ $NJOBS -le 1 ]] ; then
 		NJOBS=1
-- 
GitLab