refreshing

KNowledgeOnWebScale · Mar 13, 2024 · 740638d · 740638d
1 parent dda561f
commit 740638d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/lingua/test b/lingua/test
@@ -38,7 +38,7 @@ done
 end=$(($(date +%s)))
 echo ""
 
-echo -e "`expr ${OK} + ${FAILED}` tests ${YELLOW}`expr $end - $begin` sec${NORMAL} ${GREEN}${OK} OK${NORMAL} ${RED}${FAILED} FAILED${NORMAL}"
+echo -e "${YELLOW}`expr $end - $begin` sec${NORMAL} ${GREEN}${OK} OK${NORMAL} ${RED}${FAILED} FAILED${NORMAL}"
 if [[ ${FAILED} -eq 0 ]]; then
     exit 0
 else

diff --git a/see.pvm b/see.pvm