From 0f54d6dbb473d8cfe38716b586fcb05afc585286 Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Fri, 8 Mar 2024 15:52:54 +0100
Subject: [PATCH] refreshing

---
 lingua/test | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/lingua/test b/lingua/test
index 6e1e16f..966a566 100755
--- a/lingua/test
+++ b/lingua/test
@@ -13,13 +13,14 @@ echo -e "${YELLOW}Running lingua/test${NORMAL}"
 echo -e "${YELLOW}-------------------${NORMAL}"
 echo ""
 
+begin=$(($(date +%s)))
 for file in *.trig
 do
     echo -en "${file} ... "
     start=$(($(date +%s%N)/1000000))
     see --genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/see .. https://eyereasoner.github.io/see/lingua/$file --output output/$file
     end=$(($(date +%s%N)/1000000))
-    echo -en "`expr $end - $start` msec "
+    echo -en "${YELLOW}`expr $end - $start` msec${NORMAL} "
     if [[ $(git diff */$file | wc -l) -eq 0 ]]; then
         echo -e "${GREEN}OK${NORMAL}"
         ((OK++))
@@ -28,9 +29,10 @@ do
         ((FAILED++))
     fi
 done
+end=$(($(date +%s)))
 echo ""
 
-echo -e "${YELLOW}Tests:${NORMAL} ${GREEN}${OK} OK${NORMAL} ${RED}${FAILED} FAILED${NORMAL}"
+echo -e "lingua tests: ${YELLOW}`expr $end - $begin` sec${NORMAL} ${GREEN}${OK} OK${NORMAL} ${RED}${FAILED} FAILED${NORMAL}"
 if [[ ${FAILED} -eq 0 ]]; then
     exit 0
 else