From 4146e4c4dcf1b04b5c1abc949ae394fd271f504b Mon Sep 17 00:00:00 2001
From: ploc <ploc@garoche.net>
Date: Fri, 7 Apr 2023 14:16:29 +0200
Subject: [PATCH] Tokei dep mentionned in readme

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 53138728..26b35bd1 100644
--- a/README.md
+++ b/README.md
@@ -162,6 +162,8 @@ dune runtest lustrec_tests/<my_dir> --no-buffer --display quiet
 
 The results can be found in the `results/` directory. 
 
+Some tests requires to install tokei https://github.com/XAMPPRocky/tokei/
+
 ## Developing and hacking LustreC
 
 If you want to hack LustreC, you should use
-- 
GitLab